<!--
function swap(dest,num) 
{
  if (document.images) 
  {
    document.images[names[dest]].src = hovers[num].src;
  }
}

function hoverOn(num)
{
  if (num!=selected)
  {
    destimage = 1+2*num;
    swap(num,destimage);
  }
}

function hoverOff(num)
{
  if (num!=selected)
  {
    deselect(num);
  }
}

function deselect(num)
{
  var destimage = 2*num;
  swap(num,destimage);
}

function nothing()
{
}

function getRandom(r1, r2) 
{
  if (r2 > r1) return (Math.round(Math.random()*(r2-r1))+r1);
  else return (Math.round(Math.random()*(r1-r2))+r2);
}

//-->