function getInternetExplorerVersion()
// Returns the version of Internet Explorer or a -1
// (indicating the use of another browser).
{
  var rv = -1; // Return value assumes failure.
  if (navigator.appName == 'Microsoft Internet Explorer')
  {
    var ua = navigator.userAgent;
    var re  = new RegExp("MSIE ([0-9]{1,}[\.0-9]{0,})");
    if (re.exec(ua) != null)
      rv = parseFloat( RegExp.$1 );
  }
  return rv;
}

// JavaScript Document
// Courtesy of SimplytheBest.net - http://simplythebest.net/scripts/
var browser_type=navigator.appName
var browser_version=parseInt(navigator.appVersion)
if (browser_type=="Netscape"&&browser_version>=4)
window.location.replace("mozilla/index.html")
else if (browser_type=="Microsoft Internet Explorer")

  var ver = getInternetExplorerVersion();

  if ( ver > -1 )
  {
    if ( ver >= 8.0 ) 
      window.location.replace("mozilla/index.html")
    else
      window.location.replace("ie/index.html")
  }

else
window.location.replace("mozilla/index.html")
