// browser test:  
       agent = navigator.userAgent
       // alert(agent)
       browserVer = 0
       if (parseInt(navigator.appVersion) >= 3) browserVer = 1;
       else browserVer = 0;
       function scriptArray() {
       	this.length = scriptArray.arguments.length
       	for (var i = 0; i < this.length; i++) this[i+1] = scriptArray.arguments[i]
       }
       var YArray=new scriptArray("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
       var LastModDate=new Date(document.lastModified);
       var Y = LastModDate.getYear();
       if(navigator.appName == "Netscape") {
       	Y = Y + 1900;
       }
       var updated=''+YArray[(LastModDate.getMonth()+1)]+' '+LastModDate.getDate()+', '+Y+'';
       if (browserVer==1) document.write('Last updated '+updated);