<!--
// Disabilita tasto destro
var message="RomaTre - Ufficio Elaborazione Dati";

function clickIE4(){
if (event.button==2){
alert(message);
return false;
}
}

function clickNS4(e){
if (document.layers||document.getElementById&&!document.all){
if (e.which==2||e.which==3){
alert(message);
return false;
}
}
}

if (document.layers){
document.captureEvents(Event.MOUSEDOWN);
document.onmousedown=clickNS4;
}
else if (document.all&&!document.getElementById){
document.onmousedown=clickIE4;
}

document.oncontextmenu=new Function("alert(message);return false")
//Fine disabilita tasto destro
// --> 
	
function invia()
{
 if (document.modulo.id_servizio.value=='xxx')
    { alert ("Selezionare un servizio");
    }
 else
 if (document.modulo.id_problema.value=='xxx')
    { alert ("Selezionare una tipologia di problema");
    }
 else
    {document.modulo.action = "inserisci_nuovo_ticket.php";
   	 document.modulo.submit();
    }
}

function cerca()
  {
  with (document.utente)
          {
          ThisFind=-1;
          StringToSearch=document.utente.input.value;
          StringToSearchLength=StringToSearch.length;
          if (StringToSearchLength>0)
                  for (i=0;i<document.utente.seleziona_utente.options.length;i++)
                       ThisFind==-1&&document.utente.seleziona_utente.options[i].text.toLowerCase().substring(0,StringToSearchLength)==StringToSearch?ThisFind=i:null;
          else
                  ThisFind=0;

          document.utente.seleziona_utente.selectedIndex=ThisFind;
          }
  }