window.onload = function () { 
/*
var header=document.getElementById('header');
var r = Math.round(Math.random()*3);
if(!r) r=3;
header.style.background = 'url(/images/header'+r+'.jpg) no-repeat 100% 0 #eddfc3';
*/
}