<!--
	function f_check_mail(p_email) {
	   email = new String(p_email);
	   if (email.length==0) {return false;}
	   posAt=email.indexOf("@");
	   if (posAt<=0) {return false;}
	   indirizzo=new String(email.substring(0,posAt));
	   dominio=new String(email.substring(posAt+1,99));
	   if (dominio.indexOf("@")!=-1) {return false;}
	   posPt=dominio.indexOf(".");
	   if (posPt<=0) {return false;}
	   rdom=new String(dominio.substring(posPt+1,99));
	   if (rdom.length<2) {return false;}
	   return true;
	}
// -->