// JavaScript Document
// Formatted last-modified date
<!--
if (Date.parse(document.lastModified) != 0) {
  var modiDate = new Date(document.lastModified);
  var monthName = new Array("januar", "februar", "mars", "april", "mai", 
   "juni", "juli", "august", "september", "oktober", "november", "desember");
  document.write("Sist oppdatert: " + monthName[modiDate.getMonth()] + " ");
  document.write(modiDate.getDate() + ", " + modiDate.getFullYear());
  }

-->