//  DATA CREAZIONE: 01-07-2003;
//  DATA MODIFICA: 01-07-2007;
//  VERSIONE: 2007.1.0;
//  AUTORE: V.Mazzoleni;

// Visualizzazione data odierna
function dataoggi() {
  dayName=new Array ("Domenica", "Lunedì", "Martedì", "Mercoledì", "Giovedì", "Venerdì", "Sabato") 
  monName=new Array ("Gennaio", "Febbraio", "Marzo", "Aprile", "Maggio", "Giugno", "Luglio", "Agosto", "Settembre", "Ottobre", "Novembre", "Dicembre") 
  
  now = new Date();
//  document.write('<p class="DataOggi">' + dayName[now.getDay()] + ' ' + now.getDate() + ' ' + monName[now.getMonth()] + '</p>') 
  document.write('<div id="datahk">' + dayName[now.getDay()] + ' ' + now.getDate() + ' ' + monName[now.getMonth()] + '</div>') 
  
  return true;
}


// introduzione 2008/12/05 -- risoluzione problema Mozilla per risultato ricerca nutch
function ResultNutch(id_risultato) {

// Determina elemento in base al tipo di browser
   var risultato;

// se esiste il metodo getElementById
// questo if sarà diverso da false, null o undefined
// e sarà quindi considerato valido, come un true
   if(document.getElementById) {
      risultato = document.getElementById(id_risultato);

// altrimenti è necessario usare un vecchio sistema
   } else {
      risultato = document.all[id_risultato];
   }

// restituzione elemento
   return risultato;
}