<!--

// Author: CE
// Date Created: 10-Oct-2001
  function writeDateN(){

    document.write("<div class='lastUpdate' align='right'>");
    document.write("Last updated :");

    var lastMod = document.lastModified;
    var date = lastMod.substring(0,(lastMod.length-8)); // chop of time
    var dArray = date.split(",");
    var mon = dArray[1].substring(0,4); // return first 3 chars of Month

    // return last 2 chars of date
    var d = dArray[1].substring(dArray[1].length-2,dArray[1].length);

    document.write(d + "-" + mon + "-" + dArray[2] + "</div>");
  }


function writeDateIE(){

  var months = new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");

  document.write("<div class='lastUpdate' align='right'>")
  document.write("Last updated : ");

  var lastMod = document.lastModified;
  var date = lastMod.substring(0,10);

  var dArray = date.split("/");  // build array of the 3 components of a date dd/mm/yyyy

  var dInt = parseInt(dArray[0]);

  if(dInt == 0)	// if current date = 01..09 extract the zero and asign the 2nd digit to var.
    dStr = dArray[0].substring(1,2);
  else
    dStr = dArray[0];

  document.write(dArray[1] + "-" + months[--dStr] + "-" + dArray[2]);
  document.write("</div>");

}


// -->