/* function getObj courtesy of quirksmode.org
	http://www.quirksmode.org/js/dhtmloptions.html
	many thanks */
function getObj (name) {
	if (document.getElementById) {
		this.obj = document.getElementById (name);
		this.style = document.getElementById (name).style;
	} else if (document.all) {
		this.obj = document.all[name];
		this.style = document.all[name].style;
	} else if (document.layers) {
		this.obj = document.layers[name];
		this.style = document.layers[name];
	}
}

function toggle (n) {
	var l1 = new getObj ('nav1');
	var l2 = new getObj ('nav2');
	var l3 = new getObj ('nav3');
	var l4 = new getObj ('nav4');
	switch (n) {
		case 1: if (l1.style.display == 'block') l1.style.display = 'none'; else l1.style.display = 'block'; break;
		case 2: if (l2.style.display == 'block') l2.style.display = 'none'; else l2.style.display = 'block'; break;
		case 3: if (l3.style.display == 'block') l3.style.display = 'none'; else l3.style.display = 'block'; break;
		case 4: if (l4.style.display == 'block') l4.style.display = 'none'; else l4.style.display = 'block'; break;
	}
}

function showdate() {
	var d=new Date(); 
	var dow=d.getDay();
	var day=d.getDate(); 
	var mo=d.getMonth(); 
	var year=d.getFullYear(); 
	var weekday=new Array(7)
		weekday[0]="Sunday"
		weekday[1]="Monday"
		weekday[2]="Tuesday"
		weekday[3]="Wednesday"
		weekday[4]="Thursday"
		weekday[5]="Friday"
		weekday[6]="Saturday";
	var month=new Array(12)
		month[0]="January"
		month[1]="February"
		month[2]="March"
		month[3]="April"
		month[4]="May"
		month[5]="June"
		month[6]="July"
		month[7]="August"
		month[8]="September"
		month[9]="October"
		month[10]="November"
		month[11]="December";
	document.write(weekday[dow].toUpperCase()  + ", " + month[mo].toUpperCase() + " " + day + ", " + year);
}