if (navigator.appName.indexOf("Netscape")>-1) document.write("<LINK rel='stylesheet' type='text/css' href='hotel_ns.css'>");
else document.write("<LINK rel='stylesheet' type='text/css' href='hotel_ie.css'>");

var keepstatic=0 //specify whether menu should stay static (works only in IE4+)
var menucolor="#646464" //specify menu color
var submenuwidth=100 //specify sub menus' width
var headerHeight = 100;