// Page last updated function

	function writeDateModified (time) {
	
		var days = new Array ("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");                    
		var months = new Array ("January","February","March","April","May","June","July","August","September","October","November","December")
		
		// 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) {
			var day = days[modDate.getDay()];
			var ndate = modDate.getDate();
			var month = months[modDate.getMonth()];
			var year = modDate.getYear();
			if (year < 1000) year = year + 1900;
			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(month + " "  + ndate + ", " + year+ "  ");
			if (time) {	document.write(hour + ":" + minute + ":" + second);	}	
		}
	}
	
// Timestamp 

	function display_todays_date() {
		var today = new Date();
		var num_day=today.getDay();
		var num_month=today.getMonth();
		var date=today.getDate();
		var year=today.getFullYear();
	
		dayName = new Array ("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
		monName = new Array ("January","February","March","April","May","June","July","August","September","October","November","December");
	
		document.write('<strong>' + dayName[num_day] +', '+ monName[num_month] +' '+ date +', '+ year + '</strong>');
	}