// JavaScript Document
function swapPic()
     {
     if(document.getElementById)
                 {
                 var theBanner=document.getElementById("logo");
                 var picPath="../rotator/rotation_"+rnd(3)+".jpg";
                 theBanner.style.background="url("+picPath+")";
                 }
     }
     
function rnd(n)
     {
     return Math.floor(Math.random() * n) + 1;
     }