function fixAnchors(){
	var a = document.getElementsByTagName("A" );
	for(var i=0;i<a.length;i++)
	if(a[i].href.indexOf('/#') > 0)
	{
		a[i].href = a[i].hash;
        }
}