// OS check

<!--
function checkOS() {
  if(navigator.userAgent.indexOf('IRIX') != -1)
    { var OpSys = "Irix"; }
  else if(navigator.userAgent.indexOf('Win') != -1)
    { var OpSys = "Windows"; }
  else if(navigator.userAgent.indexOf('Mac') != -1)
    { var OpSys = "Macintosh"; }
  else { var OpSys = "other"; }
  return OpSys;
}
// -->

// Print function

function myPrint(ref){
	if (window.print){
	var myPrinter = "<a href=\"javascript:self.print()\">";
	myPrinter += "<img src=\"images/printer.gif\" alt=\"print page\"";
	myPrinter += " width=\"20\" height=\"20\" border=\"0\">";
	myPrinter += "Print this page</a>";
	if(navigator.appName.indexOf("WebTV") == -1) document.write(myPrinter);
	}
}

// Date function

var today = new Date();
var monthName = today.getMonth();
var mName;
if (monthName == 0) mName="January";
if (monthName == 1) mName="February";
if (monthName == 2) mName="March";
if (monthName == 3) mName="April";
if (monthName == 4) mName="May";
if (monthName == 5) mName="June";
if (monthName == 6) mName="July";
if (monthName == 7) mName="August";
if (monthName == 8) mName="September";
if (monthName == 9) mName="October";
if (monthName == 10) mName="November";
if (monthName == 11) mName="December";
var myDate = today.getDate();
var myYear = today.getYear();
var dayName = today.getDay();
var dName;
if (dayName == 0) dName="Sunday";
if (dayName == 1) dName="Monday";
if (dayName == 2) dName="Tuesday";
if (dayName == 3) dName="Wednesday";
if (dayName == 4) dName="Thursday";
if (dayName == 5) dName="Friday";
if (dayName == 6) dName="Saturday";
if(myYear<2000) myYear=myYear+1900;
var dateValue = dName+'&nbsp;'+myDate+'&nbsp;'+mName+'&nbsp;'+myYear;

// Date last modified


/*==============================================================================

    Routines written by John Gardner - 2004

    See www.braemoor.co.uk/software for information about more freeware
    available.

/*==============================================================================

Routine to write date document modified

   Parameters:
        time              True if time is to be displayed else False   

   e.g. 
        <script type="text/javascript">writeDateModified (false);</script>
   or   
        <script type="text/javascript">writeDateModified (true);</script>
        
   Note that if the server has failed to load up the HTTP header field with a 
   parsable date, nothing is written.
   
*/

function writeDateModified (time) {

  var days = new Array;                        // Array to hold day names
  var months = new Array;                      // Array to hold up month names

  // Load up day names
  days[0] = "Sunday";
  days[1] = "Monday";
  days[2] = "Tuesday";
  days[3] = "Wednesday";
  days[4] = "Thursday";
  days[5] = "Friday";
  days[6] = "Saturday";

  // Load up month names
  months[0] = "1";
  months[1] = "2";
  months[2] = "3";
  months[3] = "4";
  months[4] = "5";
  months[5] = "6";
  months[6] = "7";
  months[7] = "8";
  months[8] = "9";
  months[9] = "10";
  months[10] = "11";
  months[11] = "12";

  // Assign date variables with document.lastModified 
  var modDate = new Date(Date.parse(document.lastModified));
  
  // If we have a valid date reformat it.
  if (modDate != 0) {
  
    // Set up day variable to hold the name of the day
    var day = days[modDate.getDay()];
    
    // ndate variable holds day of month
    var ndate = modDate.getDate();
    
    // Set up month variable to hold the name of the month
    var month = months[modDate.getMonth()];
    
    // Get the year and if it is less than 1000 add 1900 to it.
    var year = modDate.getYear();
    if (year < 1000) year = year + 1900;
    
    // Load up the time variables if required
    if (time) {
      var hour = modDate.getHours().toString();
      if (hour.length == 1) hour = "0" + hour; 
      var minute = modDate.getMinutes().toString();
      if (minute.length == 1) minute = "0" + minute;
      var second = modDate.getSeconds().toString();
      if (second.length == 1) second = "0" + second;
    }
    
    // Display date and time document was last updated.
    document.write(ndate + "/" + month + "/" + year+ "  ");
    if (time) {
      document.write(hour + ":" + minute + ":" + second);
    }
  }
}