/*	Rewrite #anchor links for pages with BASE HREF 	*/
var anchors = document.getElementsByTagName("a");
var basehref = document.getElementsByTagName("base")[0].href;
var url = window.location.href;
if (url.indexOf("#") > 0) {
    url = url.substr(0, url.indexOf("#"));
}
if (basehref) {
    for (var i = 0; i < anchors.length; i++) {
        var anchor = anchors[i];
        var hashPos = anchor.href.indexOf("/#");
        if (hashPos > 0) {
            anchor.href = url + anchor.href.substr(hashPos + 1);
        }
    }
}