function anchor_fix(){var links=document.getElementsByTagName('A');var m;for(var i=0;i<links.length;i++){if(links[i].href&&(m=links[i].href.match(/^#([\w\d_]+)$/))){links[i].href='javascript:void(self.location.hash = "'+m[1]+'");';}}}
if(window.addEventListener)
window.addEventListener("load",anchor_fix,false);else if(window.attachEvent)
window.attachEvent("onload",anchor_fix);