//
// getDateStamp: function that returns a date string  representing today's date //
//

function getDateStamp() {

	// get the current date //
	theDate = new Date();
	
	// convert the month into a string //
	switch (theDate.getMonth()) {
		case 0: theMonth = "January"; break;
		case 1: theMonth = "February"; break;
		case 2: theMonth = "March"; break;
		case 3: theMonth = "April"; break;
		case 4: theMonth = "May"; break;
		case 5: theMonth = "June"; break;
		case 6: theMonth = "July"; break;
		case 7: theMonth = "August"; break;
		case 8: theMonth = "September"; break;
		case 9: theMonth = "October"; break;
		case 10: theMonth = "November"; break;
		case 11: theMonth = "December"; break;
		}
		
	// return month + day + year //
	return theMonth + " " + theDate.getDate() + ", " + theDate.getFullYear();
	
	}

//
// imgOn, imgOff: standard rollover functions
//

// standard mouseover function //
function imgOn(imgName) {
	if (document.images) {
		document[imgName].src = eval(imgName + "_on.src");
		}
	}

// standard mouseout function //
function imgOff(imgName) {
	if (document.images) {
		document[imgName].src = eval(imgName + "_off.src");
		}
	}
	
//
//
//