// 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);

function badOn(imgName) {
  if (!spawnMenu) {
    document[imgName].src=eval(imgName + "on.src")
  }
}

function badOff(imgName) {
  if (!spawnMenu) {
    document[imgName].src=eval(imgName + "off.src")
  }
}