//
// format date as hh.mm  dd-mmm-yyyy
//
function date_hhmmddmmmyy(date)
{
  var d = date.getDate();
  var m = date.getMonth();
  var y = date.getYear();
  var h = date.getHours();
  var mins = date.getMinutes();
  var days = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
  var months = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
 
  return "" +
    h + "." + (mins<10?"0"+mins:mins) + "&nbsp;" +
    days[date.getDay()] + "&nbsp;" +
    (d<10?"0"+d:d) + "&nbsp;" +
    months[m] + "&nbsp;"
    y;
}

//
// format date as dd-mmm-yyyy
//
function date_ddmmmyy(date)
{
  var d = date.getDate();
  var m = date.getMonth();
  var y = date.getFullYear();
  var months = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
 
  return "" +
    (d<10?"0"+d:d) + "&nbsp;" +
    months[m] + "&nbsp;" +
    y;
} 
 
//
// get last modified date of the
// current document.
//
function date_lastmodified()
{
  var lmd = document.lastModified;
  var s   = "Unknown";
  var d1;
 
  if ((lmd) && (d1=Date.parse(lmd)))
  {
      s = "" + date_ddmmmyy(new Date(d1));
  }
  return s;
}

function writeLastModDate()
{
    document.write("<span class=lastUpdated>Last updated: " + date_lastmodified() + "</span>");
}