// Funzione di impostazione del tooltip attivo
function set_tooltip(valore) {
   // Nasconde il tooltip correntemente visibile
   if (valore==0) {
      document.getElementById('tooltip').innerHTML='';
      document.getElementById('tooltip').style.display='none';
   } else {
      document.getElementById('tooltip').style.display='block';
      document.getElementById('tooltip').innerHTML=valore;
   }
}