Event.observe(document, 'dom:loaded', init);
function init(){
  var images=["header1.png","header2.png","header3.png"];
  var i = Math.floor(Math.random()*3);
  $('header').setStyle({backgroundImage:'url(/img/' + images[i] + ')'});
}