// This script randomly loads in a different image for the header

/* Change this to match the number of images you want to rotate */
function randomImage(){
var imagenumber = 5; 

/* Don't change below!! */
var randomnumber = Math.random();
var rand = Math.round((imagenumber - 1) * randomnumber) + 1;
element=document.getElementById('topbar');
imgURL="url(http://ietincl.ucdavis.edu/images/header_" + rand +".jpg)";
element.style.backgroundImage=imgURL;
//document.write('<style type="text/css">#topbar { background: url(/images/header_' + rand + '.jpg) fixed no-repeat left top;}<\/style>');
}