function scrollToAnchor(anchor) {
    var idx = document.location.href.indexOf("#");
    var loc = (idx == -1)
        ? document.location.href
        : document.location.href.substring(0,idx);
    document.location.href = loc + "#" + anchor;
}