	  <!--
		// convert month numbers to names - remember 0 is first number, not 1
		var months = new Array;
		months[0] = "January";
  		months[1] = "February";
  		months[2] = "March";
  		months[3] = "April";
 		months[4] = "May";
 		months[5] = "June";
  		months[6] = "July";
  		months[7] = "August";
  		months[8] = "September";
  		months[9] = "October";
  		months[10] = "November";
  		months[11] = "December";
		  
	  var today=new Date(); // create today's date for date page was accessed
	  
	  var yr=(today.getFullYear()); 		// retrieve year from today's date
	  var dt=(today.getDate()); 			// retrieve date from today's date
	  var mon = months[today.getMonth()]; 	// retrieve month from today's date and get month name
	   	  
	  var lmd= new Date(document.lastModified); // find out when document last modified
	  
	  var year=lmd.getFullYear(); 				// break down
	  var month = months[lmd.getMonth()];		// last modified date
	  var date=lmd.getDate();						// into components
		
	// Final string output into html		
	document.write('<strong>Author: </strong> Peter Hibbs &nbsp;');
	document.write('<strong>Document Title: </strong>&nbsp;' + document.title);
	document.write(' &nbsp; <strong>Last Document Revision: </strong>'  + date + ' ' + month + ' ' + year);
	document.write('<br><strong>URL: </strong>' + document.location);
	document.write('&nbsp; <strong>Accessed:</strong> ' + dt + ' ' + mon + ' ' + yr);
	//document.write('&nbsp; &nbsp;<strong>Document Version Number:</strong> ' + revno);
	
	document.write(' &nbsp; <strong>Copyright: </strong> &copy; Peter Hibbs 1998-' + yr);
	-->