// ---------- Data di modifica della pagina ----------

function lastUpdate () {
months = new Array('January','February','March','April','May','June',
  'July','August','September','October','November','December'); 

  var lastU = new Date (document.lastModified);
  document.write('<span style="color:red; font-weight:normal;"><i>Last update</i>: <b>'
    + months[lastU.getMonth()] + " "
    + lastU.getFullYear() + "</b></span>");
}

// ---------- Pulsante more info ----------

function change(imName,imFile){
imName.src = imFile;
}