// Preload function
function swapPic() 
 { 
 if(document.getElementById) 
   { 
   var thePicture=document.getElementById("header"); 
   var picPath="/coast/images/Banner"+rnd(9)+".jpg"; 
   thePicture.style.background="url("+picPath+")"; 
   } 
 } 
  
function rnd(n) 
 { 
 return Math.floor(Math.random() * n) + 1; 
 }