function Version () {
  // convert user agent string to lower case
  var strBrowser = navigator.userAgent.toLowerCase();

  // Browser type
  if ((strBrowser.indexOf('mozilla')!=-1) && (strBrowser.indexOf('compatible') == -1))
    this.brand = "nav";
  if (strBrowser.indexOf("msie") != -1)
    this.brand = "ie";
  if (strBrowser.indexOf("opera") != -1)
    this.brand = "opera";

  // Version numbers
  this.major = parseInt  (navigator.appVersion);
  this.minor = parseFloat(navigator.appVersion) - this.major;

if (strBrowser.indexOf ="msie") 
 {
   //alert(navigator.appVersion)
 }
}
ver = new Version();

function Error () 
 {
   window.onerror = null;
   manufacturer = navigator.appName;
   versionnum = parseFloat(navigator.appVersion);

   if (manufacturer.indexOf('Netscape') >= 0 && versionnum < 4.0)
       location.href = 'error.html';
   if (manufacturer.indexOf('Microsoft') >= 0 && versionnum < 4.0)
     location.href = 'error.html';
}