﻿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;
