var navTimer;
function hideNav() { showNav2("none"); }
function beginHideNav() { clearTimeout(navTimer); }
function resetHideNav() { clearTimeout(navTimer); }

var x,y=1;
function getWindowWidth()
{
  if (self.innerHeight) // all except Explorer
  {
    x = self.innerWidth;
    y = self.innerHeight;
  }
  else if (document.documentElement && document.documentElement.clientHeight)
    // Explorer 6 Strict Mode
  {
    x = document.documentElement.clientWidth;
    y = document.documentElement.clientHeight;
  }
  else if (document.body) // other Explorers
  {
    x = document.body.clientWidth;
    y = document.body.clientHeight;
  }
  else
  {
    x = document.body.innerWidth;
    y = document.body.innerHeight;
  }
}
function moveDivs(isIE)
{
  getWindowWidth();
  var navLeft = (x - 780) / 2;
  if (isIE != 1) { navLeft = navLeft - 10; }
  if (navLeft < 0) { navLeft = 0; }
  document.getElementById("navMain").style.left = navLeft + "px";
  document.getElementById("navResorts").style.left = navLeft+"px";
  document.getElementById("navCosta").style.left = navLeft+"px";
  if (isIE != 1)
  {
    document.getElementById("navMain").style.top = "82px";
    document.getElementById("navResorts").style.top = "98px";
    document.getElementById("navResorts").style.width = "768px";
    document.getElementById("navCosta").style.top = "98px";
    document.getElementById("navCosta").style.width = "768px";
  }
}