// JavaScript Document//create array of month namesvar month=new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");//function for returning date number extensionsfunction nths(day) { if (day == 1 || day == 21 || day == 31) return 'st'; if (day == 2 || day == 22) return 'nd'; if (day == 3 || day == 23) return 'rd'; return 'th'; }// JavaScript to create text for a last updated page - NOT FOR SERVER GENERATED PAGES (i.e. .PHP files)if (Date.parse(document.lastModified) != 0) {	var modifiedDate = new Date(document.lastModified);	var date_edit = (" &nbsp; | &nbsp; Page last updated: " + month[modifiedDate.getMonth()] + " " + modifiedDate.getDate() + nths(modifiedDate.getDate()) + ", " + modifiedDate.getFullYear()) + ".";}var newdate  = new Date();var yearnow  = newdate.getFullYear() + " ";