function validate_form() {
  validity = true; // assume valid
  if (!check_empty(document.form.NOME.value))
        { validity = false; alert('Manca il nome'); }
  if (!check_empty(document.form.COGNOME.value))
        { validity = false; alert('Manca il cognome'); }
  if (!check_empty(document.form.AZIENDA.value))
        { validity = false; alert('Manca azienda'); }
  if (!check_email(document.form.EMAIL.value))
        { validity = false; alert('Manca e-mail!'); }
  if (!check_empty(document.form.MESSAGGIO.value))
        { validity = false; alert('Manca il testo del messaggio!'); }
  if (validity)
        alert ("Tutti i campi sono stati compilati correttamente. "
                + "il form verra' inviato come posta passando dal proprio "
                + "Mail Delivery Sub-System.");
  return validity;
}

function check_empty(text) {
  return (text.length > 0); // ritorna false se vuoto
}

function check_email(address) {
  if ((address == "")
    || (address.indexOf ('@') == -1)
    || (address.indexOf ('.') == -1))
      return false;
  return true;
}