//  ROTATE THE BANNER IMAGES

// preload images
	var imgFile = new Array()
	imgFile[1] = "/soe/images/soe-staff.jpg";
	imgFile[2] = "/soe/images/banner001.jpg";
	imgFile[3] = "/soe/images/banner002.jpg";
	imgFile[4] = "/soe/images/banner003.jpg";

// preload image array
     imgSrc=new Array()
      
     for(i=1;i<imgFile.length;i++)
     {
       imgSrc[i]=new Image()
       imgSrc[i].src=imgFile[i]
     }

function loadPic()	{
	var random_num = (Math.round((Math.random()*3)+1));
	document.banner.src=imgSrc[random_num].src;
}