<!--
   function Is() {
       var agent = navigator.userAgent.toLowerCase();
       this.major = parseInt(navigator.appVersion);
       this.minor = parseFloat(navigator.appVersion);
       this.ns	  = ((agent.indexOf('mozilla')!=-1) && ((agent.indexOf('spoofer')==-1) && (agent.indexOf('compatible') == -1)));
       this.ns2   = (this.ns && (this.major == 2));
       this.ns3   = (this.ns && (this.major == 3));
       this.ns4b  = (this.ns && (this.minor < 4.04));
       this.ns4   = (this.ns && (this.major >= 4));
       this.ie	  = (agent.indexOf("msie") != -1);
       this.ie3   = (this.ie && (this.major == 2));
       this.ie4   = (this.ie && (this.major == 4));
//     this.ie5   = ((this.ie && (this.major >= 4)) && (agent.indexOf('MSIE 5.0')==-1));
       this.op3   = (agent.indexOf("opera") != -1);
       this.win   = (agent.indexOf("win")!=-1);
       this.mac   = (agent.indexOf("mac")!=-1);
       this.unix  = (agent.indexOf("x11")!=-1);
   }   // end of Is


   function onerror() {
       document.location.href = "javascript:";
   }   // end of onError


   function initB( is ) {
      if (is.ns4) {
	 available_width=innerWidth;
	 available_height=innerHeight;
//	 choreographer('layerSetup',null);
	 document.onkeydown = keyDown;
	 document.captureEvents(Event.KEYDOWN);
	 doc = "document";
	 sty = "";
	 htm = ".document"
       } else if(is.major > 3) {
	  available_width=document.body.clientWidth;
	  available_height=document.body.clientHeight;
//	  choreographer('layerSetup',null);
	  doc = "document.all";
	  sty = ".style";
	  htm = ""
//	  document.onkeydown = keyDown;
	 }
   } //   end of initB


   function notIE( is, msg ) {
      if (!(is.ie)) { alert(msg); }
   } //   end of notIE


   function resizeClientArea( high, wide ) {
//    if ( wide > screen.width ) { wide = available_width }
//    if ( high > screen.height ) { high = available_height }
      window.moveTo(0,0);
      if ( navigator.appName == "Netscape" ) {
	window.outerHeight = high;
	window.outerWidth = wide;
	}
	else if ( navigator.appName == "Microsoft Internet Explorer" ) {
		window.resizeTo(wide, high);
	       }
   } //   end of resizeClientArea
-->