// Formatted last-modified date
// Jim Dettwiler  http://www.icehouse.net/jim_d/
// Slightly modified by Dr Gregory J Sheard (Monash University, 6 July 2006) to take date from parent page
function write_date_mod() 
{
if (Date.parse(window.top.document.lastModified) != 0) {
  var modiDate = new Date(window.top.document.lastModified);
  var monthName = new Array("January", "February", "March", "April", "May", 
   "June", "July", "August", "September", "October", "November", "December");
  document.write(modiDate.getDate() + " " + monthName[modiDate.getMonth()] + " "+ modiDate.getFullYear());
  }
}
function write_year_mod()
{
var dat=new Date();
document.write( dat.getFullYear() )
}
function write_years()
{
// Writes "<current_year>/<next_year>"... web page is then never out of date!
var dat=new Date();
document.write( dat.getFullYear() + "/" + (+dat.getFullYear()+1) )
}