function getDateString()
{
	// This will work until 2090
	months= new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");	
	days = new Array("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
	
	today = new Date();
	return(days[today.getDay()] + ", " + months[today.getMonth()] + " " + today.getDate())
}


function navChange(formName, popupName, target) {
var popup = document[formName].elements[popupName];
if (popup.options[popup.selectedIndex].value != "") {
window.open(popup.options[popup.selectedIndex].value, target);
popup.selectedIndex=0;
}
}