function highlightanchor() {
	var a=location.hash;
	if(!a||a.length<=1)
		return;
	a=a.substring(1);
	var aa=document.body.getElementsByTagName("a");
	for(var i=0;i<aa.length;i++)
		if(aa[i].name)
			aa[i].className= aa[i].name == a ? "highlightanchor" : "";
}

function recheckanchor() {
	setTimeout(highlightanchor, 200);
	return true;
}
