<!--
function apriwindows(codice)
 {
     window.open('vis_articolo.php?codice='+codice);
 }
 function chiudi_finestra()
    {
     this.close();
    }
    
 function start_winodw()
  {
    if (window.top.location == window.location)
      location.replace('index.php?file='+location.pathname);
   }   
    -->