<!--
function swapPic()
     {
     if(document.getElementById)
                 {
                 var thePicture=document.getElementById("content");
                 var picPath="images/splashBg"+rnd(4)+".jpg";
                 thePicture.style.background="url("+picPath+")";
                 }
     }
     
function rnd(n)
     {
     return Math.floor(Math.random() * n) + 1;
     }