// Formatted last-modified date by blejd/
if (Date.parse(document.lastModified) != 0) {
  var modiDate = new Date(document.lastModified);
  var monthName = new Array("január", "február", "marec", "apríl", "máj", 
   "jún", "júl", "august", "september", "október", "november", "december");
  document.write("posledná aktualizácia: " + modiDate.getDate() + "." + monthName[modiDate.getMonth()] + " " + modiDate.getFullYear());
  }