
//<script>


//**************************************
//* This script pre-loads all the 
//* menu images do eliminate delay when
//* first hovering over the menu.
//**************************************

{
  homeoff = new Image(99,30);
  homeoff.src = "/images/btnhome.gif";
  homeon = new Image(99,30);
  homeon.src = "/images/btnhome-a.gif";
  aboutoff = new Image(99,30);
  aboutoff.src = "/images/btnabout.gif";
  abouton = new Image(99,30);
  abouton.src = "/images/btnabout-a.gif";
  roomsoff = new Image(99,30);
  roomsoff.src = "/images/btnrooms.gif";
  roomson = new Image(99,30);
  roomson.src = "/images/btnrooms-a.gif";
  contactoff = new Image(99,30);
  contactoff.src = "/images/btncontact.gif";
  contacton = new Image(99,30);
  contacton.src = "/images/btncontact-a.gif";
}


//**************************************
//* This script changes the
//* pre-loaded images when the mouse
//* pointer hovers over them.
//**************************************

function imgSwap(imgName, imgState)
{
  document.getElementById(imgName).src = eval(imgName + imgState + ".src");
}
