<!--
function pickImg(){
//if browser does not support the image object, exit.
if (!document.images)
return
//the pos var is set so that it calculates the position of each of the background images. it is then used to change the css background position
var getpos=Math.floor(Math.random()*6);
switch(getpos)
{
case 1:
  document.getElementById("menu").style.backgroundPosition = "0 0px";
  break;
case 2:
  document.getElementById("menu").style.backgroundPosition = "0 -225px";
  break;
case 3:
  document.getElementById("menu").style.backgroundPosition = "0 -450px";
  break;
case 4:
  document.getElementById("menu").style.backgroundPosition = "0 -675px";
  break;
case 5:
  document.getElementById("menu").style.backgroundPosition = "0 -900px";
  break;
}

}
//-->