window.onerror = errWindow;


function errWindow(errMsg,location,lineNum) {

	return true;
	}

function checkForJavascript() {

	if (navigator.javaEnabled()) {
		
		return true;
		}
	
	else {
		
		return false;
		}
	}


 //m.b.for MFconfigurator only!!

function browser(){

alert("Sorry, due to the advanced mature of our Pump Configurator it does not support the  Netscape browser. We recommended using Internet Explorer version 4.0 or newer.");
	

}			 

// Copyright (C) 1999 Dan Steinman
// Distributed under the terms of the GNU Library General Public License
// Available at http://www.dansteinman.com/dynapi/
function BrowserCheck() {
	var b = navigator.appName
	if (b=="Netscape") this.b = "ns"
	else if (b=="Microsoft Internet Explorer") this.b = "ie"
	else this.b = b
	this.v = parseInt(navigator.appVersion)
	this.ns = (this.b=="ns" && this.v>=4)
	this.ns4 = (this.b=="ns" && this.v==4)
	this.ns5 = (this.b=="ns" && this.v==5)
	this.ie = (this.b=="ie" && this.v>=4)
	this.ie4 = (navigator.userAgent.indexOf('MSIE 4')>0)
	this.ie5 = (navigator.userAgent.indexOf('MSIE 5')>0)
	if (this.ie5) this.v = 5
	this.min = (this.ns||this.ie)
}

// automatically create the "is" object
is = new BrowserCheck()

<!--
//setting cookies

function IsetCookie(name, value, expire) 
        {
   document.cookie =  name + "=" + escape(value) + ";cpvhintratest;path=/" +
   ((expire == null) ? "" : ("; expires=" + expire.toGMTString()));
}

//Notice the use of escape to encode special characters (semicolons, commas,
//spaces) in the value string. This function assumes that cookie names do not have any
//special characters.

//The following function returns a cookie value, given the name of the cookie:

function IgetCookie(Name) {

   var search = Name + "="
   if (document.cookie.length > 0) { // if there are any cookies
      offset = document.cookie.indexOf(search) 
      if (offset != -1) { // if cookie exists 
         offset += search.length 

         // set index of beginning of value
         end = document.cookie.indexOf(";", offset) 
         // set index of end of cookie value

         if (end == -1) 
            end = document.cookie.length
         return unescape(document.cookie.substring(offset, end))
      } 
   }
}

var CookieName = "CPID";

var uniqueid = IgetCookie(CookieName);
var time = new Date();

if (uniqueid == null)
        {
        var expires = new Date();
        expires.setTime(time.getTime() + (1000*60*60*24*365)*8);
        IsetCookie(CookieName, time.getTime(), expires);
        }

function IShowCookie()
{
 document.CookieForm.CookieString.value = document.cookie;
 var today = new Date();
 document.CookieForm.NumberString.value = today.getTime();
}

// -->