var stop = false;

// To hide and display the spinner when the page loads
 window.onload = function() 
  { document.getElementById("spinner").style.display = "none"; stop = true;}

 window.onunload = function() 
  { document.getElementById("spinner").style.display = "block"; }



// To make the spinner rotate in firefox and internet explorer
var count = 0;
  function rotate() {
    var elem = document.getElementById("spinner");
    elem.style.MozTransform = "rotate("+count+"deg) scale(0.5)";
    elem.style.msTransform = "rotate("+count+"deg) scale(0.5)";
    if (count==360) { count = 0 }
    count+=45;
    if (!stop) {
    	window.setTimeout(rotate, 100);
    }
  }
  window.setTimeout(rotate, 100);