function ctrl() {
if ((document.mailing.mailing.value.indexOf("@")==(-1)) || (document.mailing.mailing.value.indexOf(".")==(-1)) || 
	(document.mailing.mailing.value=="") || (document.mailing.mailing.value=="undefined"))             
	
	{
		alert("Indirizzo email non corretto!");     
		document.mailing.mailing.focus();
		return false;
	}
return true;
}