function set_location(url) {
    location.href = document.getElementsByTagName('base')[0].href + url;
}

function get_location() {
    return document.getElementsByTagName('base')[0].href;
}