/*functions that are derived form scriptaculous, but not included in scriptaculous*/

function extractHash(url)
{
	var hash = url.split("#",2)[1];
	return hash;
}
function goToThenHighlight(id)
{
	hash = extractHash(id);
	new Effect.ScrollTo(hash);
	new Effect.Highlight(hash, {startcolor:'#528B00', endcolor:'#ffffff'});
}