function doload () {
    if (document.getElementsByTagName &&
            document.getElementsByTagName ('body')) {
        load2 ();
        loadrest ();
    }
}

window.onload = doload;