function highlightAnchor(id) {
	new Effect.Highlight(id, {duration: 3.0});
}