// JavaScript Document
// Funzioni di gestione dei form
function checkmail(email)
{
    var slices = email.match("^(.+)@(.+)$");
    if(slices == null) return false;
    if(slices[1] != null )
    {
      var prima=/^\"?[\w-_\.]*\"?$/;
      if(slices[1].match(prima) == null) return false;
    }
    if(slices[2] != null)
    {
      var dopo=/^[\w-\.]*\.[A-Za-z]{2,4}$/;
      if(slices[2].match(dopo) == null) 
      {
	    var ip =/^\[\d{1,3}\.\d{1,3}\.\d{1,3}\.\d{1,3}\]$/;
	    if(slices[2].match(ip) == null) return false;
      }// if
      return true;
    }
return false;
}
function editform(nomebutton) {
	document.editmsg.action.value=nomebutton;
	document.editmsg.submit(nomebutton);
return true;
}

	
function goform(nomebutton) {
		document.postmsg.action.value=nomebutton;
		document.postmsg.submit(nomebutton);
		return true;
}
function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);