function SetStatus(szString)
{
  window.status = szString;

  if (window.opera)		// Opera works backwards to IE for window.status results!
    return false;

  return true;
}

function LastUpdate()
{
  document.write("<hr />\n<p class=\"ctrm2s\">Last updated<br />" + FormatDate(document.lastModified) + "</p>");
}


function FormatDate(date)
{
var months=new Array('Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec');
var szPad = "";

var tm=new Date(date);

var year = tm.getYear();

  if (tm.getMinutes() < 10)
  {
    szPad = "0";
  }

  if (year < 200)		// Covers 'feature' in some browsers whereby year is returned as current year - 1900!
  {
    year += 1900;
  }

  return tm.getDate() + " " + months[tm.getMonth()] + " " + year + " " + tm.getHours() + ":" + szPad + tm.getMinutes();
}