document.write(""); document.write(""); document.write(""); document.write(""); document.write(""); document.write("
       Risorse
"); document.write("Area files
"); document.write("Glossario
"); document.write("Webliography
");