function AjaxOperatore(codice_operatore)
{
 var pars = 'codice_operatore=' + codice_operatore;
 var myAyax = new Ajax.Request('/ajax/AjaxOperatore.php', {method: 'post', parameters: pars, onComplete: drawOperatore});
}

function drawOperatore(req)
{
 var elem = $('DIV_Operatore');
 if(elem)
     {
	elem.innerHTML = req.responseText;
        //document.getElementById('DIV_Operatore').style.display='';
     }
}