function email_hide(email_address,email_domain,email_ext) {
	var first = 'ma'; 
	var second = 'il'; 
	var third = 'to:';
	var address = email_address; 
	var domain = email_domain; 
	var ext = email_ext;
	document.write('<a href=\"');
	document.write(first+second+third);
	document.write(address);
	document.write('&#64;');
	document.write(domain); 
	document.write('.');
	document.write(ext);
	document.write('\" style=\"font: 900 14px Arial;\">');
	document.write(address+'&#64;'+domain+'.'+ext+'</a>');
}


sfHover = function() {
	var sfEls = document.getElementById("navbar").getElementsByTagName("LI");
	for (var i=0; i<sfEls.length; i++) {
		sfEls[i].onmouseover=function() {
			this.className+=" sfhover";
		}
		sfEls[i].onmouseout=function() {
			this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
		}
	}
}




function isNumeric(sText) {
   var ValidChars = "0123456789.";
   var IsNumber=true;
   var Char;

   for (i = 0; i < sText.length && IsNumber == true; i++) 
      { 
      Char = sText.charAt(i); 
      if (ValidChars.indexOf(Char) == -1) 
         {
         IsNumber = false;
         }
      }
   return IsNumber;   
}


function valButton(btn) {
    var cnt = -1;
    for (var i=btn.length-1; i > -1; i--) {
       if (btn[i].checked) {cnt = i; i = -1;}
       }
    if (cnt > -1) return btn[cnt].value;
    else return null;
}