// JavaScript Document<!--
function swapPic()
 {
 if(document.getElementById)
   {
   var thePicture=document.getElementById("topBanner");
   var picPath="/images/banners/banner"+rnd(6)+".jpg";
   thePicture.style.background="url("+picPath+") no-repeat #fff";
   }
 }
 
function rnd(n)
 {
 return Math.floor(Math.random() * n) + 1;
 }