
    <!--
       document.getElementById("loading").className = "loading-visible";
       var hideDiv = function(){document.getElementById("loading").className = "loading-invisible";};
       var oldLoad = window.onload;
       var newLoad = oldLoad ? function(){hideDiv.call(this);oldLoad.call(this);} : hideDiv;
       window.onload = newLoad;
     //-->