function jump(){
  if(isNetscape()){
    ver = getBrowserVer();
    if(ver >= "3.0" && ver <= "4.1")
      { top.document.location.href = "out/nn3xany.html"; }
    else if(ver == "6.0" )
      { top.document.location.href = "out/nn6xany.html"; }
    else
      {top.document.location.href = "index1.html";}
  }
  if(isIE()){
    ver = getBrowserVer();
    if(ver >= "3.0" && ver < "5.0" )
      { top.document.location.href = "out/ie3xany.html"; }
    if(ver >= "5.0" || ver == "5.5" || ver == "6.0")
      { top.document.location.href = "index1.html"; }
  }
}

function getBrowser()  // get the browser program name
  {
  if (navigator.appName == null || navigator.appName == "")
    return "other";
  else if (navigator.appName == "Netscape")
    return "netscape";
  else if (navigator.appName == "Microsoft Internet Explorer")
    return "ie";
  else
    return "other";
 }

function isNetscape()  // is browser Netscape?
  {
  if (getBrowser() == "netscape")
    return true;
  else
    return false;
  }

function isIE()  // is browser IE?
  {
  if (getBrowser() == "ie")
    return true;
  else
    return false;
  }

function getBrowserVer()  // get the browser version
 {
    if (navigator.appVersion == null || navigator.appVersion == "")
      return "n/a";

    // fix for IE 5.x appVersion bug, which returns 4.x instead of 5.x
    if (isIE() && navigator.userAgent.indexOf("5.") != -1){ 
      var verNum = "";
      var str = navigator.userAgent;
      var pos = str.indexOf("IE ");  // real version num follows "IE "
      for (pos=pos+3; pos<str.length; pos++){  // build verNum string
        if (str.charAt(pos) == "." || (str.charAt(pos) <= "9" && str.charAt(pos) >= "0"))
          verNum += str.charAt(pos);
        else
          break;
	  }
      return verNum;
    }
    else
    // fix for IE 6.x appVersion bug, which returns 4.x instead of 6.x
    if (isIE() && navigator.userAgent.indexOf("6.") != -1){ 
      var verNum = "";
      var str = navigator.userAgent;
      var pos = str.indexOf("IE ");  // real version num follows "IE "
      for (pos=pos+3; pos<str.length; pos++){  // build verNum string
        if (str.charAt(pos) == "." || (str.charAt(pos) <= "9" && str.charAt(pos) >= "0"))
          verNum += str.charAt(pos);
        else
          break;
	  }
      return verNum;
    }
    

  // Netscape 6 now supports the W3C standards and does not support the LAYER tag
    if (navigator.appName == "Netscape" && navigator.appVersion[0] == "5")
      {
      var verNum = "";
      var str = navigator.userAgent;
      var pos = str.indexOf("Netscape6/");  // real version num follows "Netscape6/"
      for (pos=pos+10; pos<str.length; pos++){  // build verNum string
        if (str.charAt(pos) == "." || (str.charAt(pos) <= "9" && str.charAt(pos) >= "0"))
          verNum += str.charAt(pos);
	else
	  break;
        }
        return verNum;
      }

  var verArray = navigator.appVersion.split(" ");
  return verArray[0];
 }

