function LmOver(elem, bfilename)
{elem.background = "images/"+bfilename;
elem.children.tags('A')[0].style.color = "#7E93AA";}

function LmOut(elem, bfilename)
{elem.background = "images/"+bfilename;
elem.children.tags('A')[0].style.color = "#FFFFFF";}

function LmDown(elem, bfilename)
{elem.background = "images/"+bfilename;
elem.children.tags('A')[0].style.color = "#7E93AA";}

function LmUp(path)
{location.href = path;}

cellswitch = new Image();
cellswitch.src = "images/navcell-off.gif"

cellswitchB = new Image();
cellswitchB.src = "images/navcell_large-off.gif"

function FormattedDate()
{
	var today = new Date();
	var month = "";
	var day   = today.getDate();
	var year  = today.getFullYear();
	var dayName = "";

	switch (today.getDay())
	{
		case 0:
			dayName = "Sun";
			break;
		case 1:
			dayName = "Mon";
			break;
		case 2:
			dayName = "Tue";
			break;
		case 3:
			dayName = "Wed";
			break;
		case 4:
			dayName = "Thu";
			break;
		case 5:
			dayName = "Fri";
			break;
		case 6:
			dayName = "Sat";
			break;
	}

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