function GetDay(i_d){
var DayArray = new Array("Sun", "Mon", "Tues", "Wednes", "Thurs", "Fri", "Satur")
return DayArray[i_d]
}

function GetMonth(i_m){
var MonthArray = new Array("January", "February", "March",
"April", "May", "June",
"July", "August", "September",
"October", "November", "December") 
return MonthArray[i_m] 	  	 
}

function dodate(){
var today = new Date()
var year = today.getYear()
if(year<1000) year+=1900
var todayStr = GetDay(today.getDay()) + "day, "
todayStr += GetMonth(today.getMonth()) + " " + today.getDate()
todayStr += ", " + year
document.write(todayStr)
}

function navi(){
window.addEvent('load', function () // wait until the page is loaded
{
	$('nav').getChildren().each(function(el){ // get the elements in the #nav div
		var effect = el.effect('font-size',  // assign font-size effect to a variable
		{ // pass in additional options
			duration: 400,
			transition: Fx.Transitions.Expo.easeOut,
			wait: false
		});
		el.orgSize = el.getStyle('font-size').toInt();  // save the original font-size size
		el.addEvents(  // add events to the links
		{
			'mouseover': function () // on mouseover make the font size bigger
			{
				effect.start(el.orgSize * 2);
			},
			'mouseout': function () // on mouseout return font to original size
			{
				effect.start(el.orgSize);
			}
		});
	});
});

}