function newHeader()
  {
  if(document.getElementById)
    {
    var Hdr=document.getElementById("header");
    var picPath="images/h"+rnd(43)+".jpg";
    Hdr.style.backgroundImage="url("+picPath+")";
    }
  }
      
function rnd(n)
  {
  now = new Date();
  seed = now.getSeconds();
  return Math.floor(Math.random(seed) * n) + 1;
  }