// variables to translate the numerical dates into readable form
var theDays = new Array();
theDays[0]="Sunday";
theDays[1]="Monday";
theDays[2]="Tuesday";
theDays[3]="Wednesday";
theDays[4]="Thursday";
theDays[5]="Friday";
theDays[6]="Saturday";

var theMonths = new Array();
theMonths[0]="January";
theMonths[1]="February";
theMonths[2]="March";
theMonths[3]="April";
theMonths[4]="May";
theMonths[5]="June";
theMonths[6]="July";
theMonths[7]="August";
theMonths[8]="September";
theMonths[9]="October";
theMonths[10]="November";
theMonths[11]="December";

// Function to get LastModified date required on each page

function lastModifiedDate() {
      thisDate = new Date (document.lastModified);
      // theDay = thisDate.getDay();
      theDate = thisDate.getDate();
      theMonth = thisDate. getMonth();
      theYear = thisDate.getYear();
      
      theFullDate = theMonths[theMonth] + " " + theDate + ", " + theYear;
      document.write  ("Last Modified on " + theFullDate + ".")
      }

// functions to show the job descriptions in newer browsers

var theDOM = (document.getElementById) ? true : false;
	
function getObj (thisOne) {
		return document.getElementById(thisOne);
	}
	
function showMessage (whichOne){
				if (!theDOM) return;
				here = getObj(whichOne);
				if (whichOne != "topOne") {
					here.style.visibility = "visible";
				}
	}	
	
function eraseMessage(whichOne) {
				if (!theDOM) return;
				here = getObj(whichOne)
				if (whichOne != "topOne") {	
					here.style.visibility = "hidden";
				}
		}