function swapPic() 
  { 
  if(document.getElementById) 
    { 
    var thePicture=document.getElementById("RandomImage"); 
    var picPath="swap/hotel"+rnd(10)+".gif"; 
    thePicture.style.background="url("+picPath+")"; 
    } 
  } 
 function rnd(n) 
  { 
  return Math.floor(Math.random() * n) + 1; 
  }