function flip(img, type) {
		document[img].src = path+"images/menu-"+img+type+".gif";
	}
	
	function printDate() {
		var moy = new Array ("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
		var dow = new Array ("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
		var today = new Date();
		
		var year = today.getFullYear();
		var day = dow[today.getDay()];
		var month = moy[today.getMonth()];
		var date = today.getDate();
		
		document.write(" "+day+", "+month+" "+date+", "+year+" ");
	}