var isNav, isIE
var coll=""
var styleObj=""
if (parseInt(navigator.appVersion) >= 4)
{
  if (navigator.appName == "Netscape")
  {
    isNav = true
  } else
  {
    isIE = true
    coll = "all."
    styleObj = ".style"
  }
}

// ************* Menu Display ****************
// browser test:
agent = navigator.userAgent
browserVer = 1
if ((agent.indexOf("a/3",6) != -1)||(agent.indexOf("a/4",6) != -1)) {browserVer = 1}
else {browserVer = 2}


if (browserVer == 1)
{
menu1 = new Image(60,138);
menu1.src = "imgs/about0.gif";
menu1on = new Image(60,138);
menu1on.src = "imgs/about1.gif";

menu2 = new Image(36,134);
menu2.src = "imgs/facility0.gif";
menu2on = new Image(36,134);
menu2on.src = "imgs/facility1.gif";

menu3 = new Image(60,138);
menu3.src = "imgs/unique0.gif";
menu3on = new Image(60,138);
menu3on.src = "imgs/unique1.gif";

menu4 = new Image(36,134);
menu4.src = "imgs/guests0.gif";
menu4on = new Image(36,134);
menu4on.src = "imgs/guests1.gif";

menu5 = new Image(60,138);
menu5.src = "imgs/qualify0.gif";
menu5on = new Image(60,138);
menu5on.src = "imgs/qualify1.gif";

menu6 = new Image(36,134);
menu6.src = "imgs/details0.gif";
menu6on = new Image(36,134);
menu6on.src = "imgs/details1.gif";

}


function img_act(imgDocID,imgObjName) {
if (browserVer == 1) 
 {
 document.images[imgDocID].src = eval(imgObjName + ".src")
 }
}


// Determines new style sheet additions
  if (isNav)
  {
    document.write('<style type=text/css>');
    document.write('.unordered        ');
    document.write('  {');
    document.write('    font-family:Arial, Helvetica, Geneva, Sans Serif;');
    document.write('    margin-top: -15px; ');
    document.write('    margin-bottom: -20px;  ');
    document.write('    margin-left: -20px; ');
    document.write('    font-size: 10pt; ');
    document.write('  }');
	 document.write('</style>')
  }
  else
  {
    document.write('<style type=text/css>');
    document.write('.unordered        ');
    document.write('  {');
    document.write('    font-family:Arial, Helvetica, Geneva, Sans Serif;');
    document.write('    margin-top: 0px; ');
    document.write('    margin-bottom: 0px;  ');
    document.write('    margin-left: 18px; ');
    document.write('    font-size: 10pt; ');
    document.write('  }');
	 document.write('</style>')
  }