function WindowOnload(f) {
    var prev = window.onload;
    window.onload = function() {
        if (prev) prev();
        f();
    }
}