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


String.prototype.strip = function(substr) {
    return this.split(substr).join('');
}