function append(f1, f2) {
    return function() {
        if (f1) f1();
        if (f2) f2();
    };
}

function vr_load() {
    document.getElementById("div_local").style.display = "none";
    show_local();
}

window.onload = append(window.onload, vr_load);