function swapPic()  
{  
if(document.getElementById)  
  {  
  var thePicture=document.getElementById("imageSwapper");  
  var picPath="/Files/Billeder/Topgrafik/top_"+rnd(10)+".jpg";  
  thePicture.style.background="url("+picPath+")";  
  }  
}  

function rnd(n)  
{  
return Math.floor(Math.random() * n) + 1;  
}