function newimg(obj) {
  var randomnumber=Math.floor(Math.random()*25);
  var newbg = 'url(hdr_img/' + randomnumber + '.jpg)';
  var hdiv = document.getElementById('header');
  hdiv.style.backgroundImage = newbg;
}

/*window.setInterval('newimg()',10000);*/