/* My Java script header file */

/* with (document)
{
	write("<STYLE TYPE='text/css'>");
	if (navigator.appName == 'Microsoft Internet Explorer')
		{
		write(".hiddentext {display:none}  .outline {cursor:hand; text-decoration:underline}");
		}
	write("</STYLE>");
} */

// show text on click for MSIE browsers


// hide text from MSIE browsers

with (document)
{
	write("<STYLE TYPE='text/css'>");
	if (navigator.appName == 'Microsoft Internet Explorer')
		{
/*		write(".hiddentext {display:none}  .outline {cursor:hand; text-decoration:underline}"); */
		write(".outline {cursor:hand;text-decoration:underline}");
		}
	write("</STYLE>");
}

function menuexpand(whichEl)
{
	if (navigator.appName == 'Microsoft Internet Explorer')
		{
		whichEl.style.display = (whichEl.style.display == "block" ) ? "none" : "block";
		}
	else return;
}

// show text on click for MSIE browsers

function expandIt(whichEl)
{

	if (navigator.appName == 'Microsoft Internet Explorer')
	{
			
			whichEl.style.visibility = "visible";
			

	}
	else return;
}

function closeIt(whichEl)
{

	if (navigator.appName == 'Microsoft Internet Explorer')
	{
		whichEl.style.visibility = "hidden";

	}
	else return;
}

// end hiding from old browsers -->

function date()
{	today = new Date();
	days = new Object();
	suffix = new Object();
	var date = null;
	var year = 2003;


	days[0]='Sunday'
	days[1]='Monday'
	days[2]='Tuesday'
	days[3]='Wednesday'
	days[4]='Thursday'
	days[5]='Friday'
	days[6]='Saturday'

	suffix[0]=''
	suffix[1]=''
	suffix[2]=''
	suffix[3]=''
	suffix[4]=''

	document.write(days[today.getDay()] + ", ");


	date_buffer = new Number(today.getDate());
	date = date_buffer.toString();

	if (date.length == 1 || (date.length == 2 && date.charAt(0) == 1)) {
		date=today.getDate() + suffix[(today.getDate() > 3 ? 4 : today.getDate())];
	}
	else {
		date=today.getDate() + suffix[(date.charAt(1) > 3 ? 4 : date.charAt(1))] ;
	}
	document.write(date + " ");


	if (today.getMonth() == 0)
		document.write('January'); 
	else if (today.getMonth() == 1)
		document.write('February'); 
	else if (today.getMonth() == 2)
		document.write('March'); 
	else if (today.getMonth() == 3)
		document.write('April'); 
	else if (today.getMonth() == 4)
		document.write('May'); 
	else if (today.getMonth() == 5)
		document.write('June'); 
	else if (today.getMonth() == 6)
		document.write('July'); 
	else if (today.getMonth() == 7)
		document.write('August'); else if (today.getMonth() == 8)
		document.write('September'); else if (today.getMonth() == 9)
		document.write('October'); else if (today.getMonth() == 10)
		document.write('November'); else if (today.getMonth() == 11)
		document.write('December'); 


	year = ", " + (today.getYear() < 1000 ? today.getYear() + 1900 :today.getYear());
	document.write(year);
}