<!--
   function destro() {
      if (event.button==2||event.button==3)
         alert("Spiacenti, il tasto destro del mouse è disabilitato")   
         return;
         }
-->