// empty functions in case user rolls over buttons before the page has finished loading
function showMenu(){}
function hideMenu(){}

// browser check
is_dom = (document.getElementById) ? true : false;
is_ns4 = (document.layers) ? true : false;
is_ie = (document.all) ? true : false;
is_ie4 = is_ie && !is_dom;
is_mac = (navigator.appVersion.indexOf("Mac") != -1);
is_ie5m = is_ie && is_dom && is_mac;
is_ie4m = is_ie4 && is_mac;
is_ns4m = is_ns4 && is_mac;
is_opera = (navigator.userAgent.indexOf("Opera")!=-1);
is_konqueror = (navigator.userAgent.indexOf("Konqueror")!=-1);
spawnMenu = !is_ie5m && !is_opera && !is_konqueror && !is_ie4m && !is_ns4m && (is_dom || is_ns4 || is_ie4);

// reload on resize for NS4
if (is_ns4) {
  origWidth = innerWidth;
  origHeight = innerHeight;
}

function reDo() {
  if (innerWidth != origWidth || innerHeight != origHeight) {
  location.reload();
  }
}

if (is_ns4 && parseInt(navigator.appVersion) != 5) {
  onresize = reDo;
}