<!-- Hide the JavaScript
		 var month = ["January","February","March",
		 		   "April","May","June",
				   "July","August","September",
				   "October","November","December"];
				   
		 var day_of_week = ["Sunday","Monday","Tuesday","Wednesday",
		 	     	    "Thursday","Friday","Saturday"];
				 
		 if(Date.parse(document.lastModified) != 0)
		 {
		     var today = new Date(Date.parse(document.lastModified));
			 
			 //pad hours with leading zeros up to 2 digits
			 var hours = today.getHours().toString();
			 for(;hours.length < 2; hours = "0" + hours);
			 
			 //pad minutes with leading zeros up to 2 digits
			 var minutes = today.getMinutes().toString();
			 for(;minutes.length < 2; minutes = "0" + minutes);
		 
			 //pad seconds with leading zeros up to 2 digits
			 var seconds = today.getSeconds().toString();
			 for(;seconds.length < 2; seconds = "0" + seconds);
			 
		 	 document.write("Updated as of " +
		 				day_of_week[today.getDay()] + ", " +
						month[today.getMonth()] + " " +
						today.getDate() + ", " +
		 				today.getFullYear() + " " +
						hours + ":" +
						minutes + ":" +
						seconds);

		}
// -->