function valida() 
{
	lavoro = false;
	valido = true; // form valido
 
 
  with (document.form1) {
  
////////////////////// AZIENDA
	if (!check_empty(Azienda.value))
    {	
		alert("Inserire il nome dell'Azienda");
		Azienda.focus();
		valido = false;
		return valido
	}

////////////////////// FINE AZIENDA

////////////////////// PARTITA IVA
	if (check_empty(IVA.value))
	{
 		if(!check_iva(IVA.value))
		{
			valido = false;
			alert("La partita IVA inserita non è corretta");
			IVA.focus();
			return valido
		}
	}
////////////////////// FINE PARTITA IVA

////////////////////// NomeCognome
	if (!check_empty(NomeCognome.value))
    {
		valido = false;
		alert("Inserire Nome e Cognome");
		NomeCognome.focus();
		return valido
	}

////////////////////// FINE NomeCognome

////////////////////// E-MAIL

	if (!check_empty(email.value))
    {
		valido = false;
		alert("Inserire l'indirizzo email");
		email.focus();
		return valido
	}else{
		if (!check_email(email.value))
    	{
			valido = false;
			alert("Correggere l’indirizzo e-mail");
			email.focus();
			return valido
		}
	}
////////////////////// FINE E-MAIL

////////////////////// Telefono
	if (!check_empty(Tel.value))
    {
		valido = false;
		alert("Inserire il numero di telefono");
		Tel.focus();
		return valido
	}
////////////////////// FINE NomeCognome


 }

return valido;
 
 
} // FINE FUNCTION VALIDA()


////////////////////// FUNZIONI DI SUPPORTO

function check_empty(text) {
  return (text.length>0);} // falso se vuoto
  
function check_len(stringa,max) {
  return (stringa.length<max);} // falso se ko
  
function check_iva(stringa){
var cifre = '0123456789';

  i=0
  buona=true
  if(stringa.length != 11)
   {return(!buona);}
  while(i<=10){
    car=stringa.substring(i,i+1);
    if(cifre.indexOf (car) == -1)
      {buona=false; break;}
  i++}
  return(buona);
}

function check_email(indirizzo) {
  return ((indirizzo.indexOf ('.') != -1) && (indirizzo.indexOf ('@') != -1)) }