function menuUL(lev,testo,pagina) {
    if (lev==0) { document.write('<a href="' + pagina + '">' + testo + '</a><br />'); }
  else {
    document.write(
      '<div class="lev1">'
      + '<img src="'  + '../freccia.gif" />'
      + '<a href="' + pagina + '">'
      + testo 
      + '</a></div>'
    );
  };
};

function colorlingua (lingua) {
  if (lingua=='ita') return 'ffffcc'
  else if (lingua=='fra') return 'ffcccc'
  else if (lingua=='ing') return 'ccffcc'
  
  else return 'ffffff'
};

// questa parte definisce alcune caratteristiche locali dello stile:

document.writeln('<style type="text/css">');
//document.writeln('body { background-color: #' + //colorlingua(lingua) + ';}');
//document.writeln('.ita { background-color: #' + //colorlingua('ita') + ';}');
//document.writeln('.ing { background-color: #' + //colorlingua('ing') + ';}');
//document.writeln('.fra { background-color: #' + //colorlingua('fra') + ';}');
//document.writeln('.ted { background-color: #' + //colorlingua('ted') + ';}');
document.writeln('</style>');

<!--webbot bot="HTMLMarkup" startspan -->
function finestra(url, name, width, height, scroller, num){
  var Stringa = 'height=' + height + ',width=' + width;
      if (scroller != 'true') {
         Stringa= Stringa + ',menubar=no, toolbar=no, location=no,'
         + 'directories=no, status=no, scrollbars=yes, resizable=no';
        }
      else {
        Stringa= Stringa + ',menubar=no, toolbar=no, location=no,'
         + 'directories=no, status=no, scrollbars=no, resizable=no';
      }
       var v=window.open(url, name, Stringa);
      
}
<!--webbot bot="HTMLMarkup" endspan -->