<script id="clientEventhandlersJS"LANGUAGE="JAVASCRIPT">
<!--
function isEmpty(s){
   return((s==null)||(s.length==0));
}

 function isNumber(s)
 {
   if (isEmpty(s)) return false;
   var digits="0123456789";
   var i=0;
   var sLength=s.length;
   
   while((i<sLength))
   { 
     var c=s.charAt(i);
     if(digits.indexOf(c)==-1) return false;
     i++;
   }
   return true;
}


 function isDouble(s)
 {
   if (isEmpty(s)) return false;
   var digits="0123456789.";
   var i=0;
   var sLength=s.length;
   var j=0;
   while((i<sLength))
   { 
     var c=s.charAt(i);
     if(digits.indexOf(c)==-1) 
	    return false;
	 else {
		 if(digits.indexOf(c)==10)
            j++;   
		 if (j>1)
		   return false;
       } 
      i++;
   }
   return true;

 }
  
 -->
  </script>