var ns = (document.layers) ? 1 : 0;
var ie = (document.all) ? 1 : 0;

/* ---------------------------------------------------------------------------------- */
/*			time function. prints the time on the page		       */ 
/* ---------------------------------------------------------------------------------- */
//time function
var timerID = null;

function time()
{
	var today = new Date();
	var dayName = "";
	var monthName = "";


	switch(today.getDay()){
		case 0: dayName = "Sunday";break;
		case 1: dayName = "Monday";break;
		case 2: dayName = "Tuesday";break;
		case 3: dayName = "Wednesday";break;
		case 4: dayName = "Thursday";break;
		case 5: dayName = "Friday";break;
		default: dayName = "Saturday";break;
	}

	switch(today.getMonth()){
		case 0: monthName = "Jan";break;
		case 1: monthName = "Feb";break;
		case 2: monthName = "Mar";break;
		case 3: monthName = "Apr";break;
		case 4: monthName = "May";break;
		case 5: monthName = "Jun";break;
		case 6: monthName = "Jul";break;
		case 7: monthName = "Aug";break;
		case 8: monthName = "Sep";break;
		case 9: monthName = "Oct";break;
		case 10: monthName = "Nov";break;
		default: monthName = "Dec";break;
	}

	if(navigator.appName == "Microsoft Internet Explorer"){
		document.all["timer"].innerHTML = "<font size = -2 color = white>"
							+""+today.getDate()+"/"+monthName+"/"+today.getYear()+"-"+dayName+"</font>";
	}else {
		document.layers["timer"] = "<font size = -2 color = white>"
							+""+today.getDate()+"/"+monthName+"/"+today.getYear()+"-"+dayName+"</font>";
	}




}

// end time 

function toggleDisplay(name){
	if(ie){
  		if (document.all[name].style.visibility == "hidden")
  			document.all[name].style.visibility = "visible";
  		else
  			document.all[name].style.visibility = "hidden";
	}
	if(ns) {
		if (document.layers[name].visibility=="hide")
			document.layers[name].visibility="show"
		else
			document.layers[name].visibility="hide";
	}
}