/*************************************************************
* function 		mmOver
* purpose
* notes
*************************************************************/
function mmOver(obj)
{
	if (obj.src != "images/layout/" + obj.name + "_over.png")
	{
		obj.src = "images/layout/" + obj.name + "_over.png";
	}
}

/*************************************************************
* function 		mmOut
* purpose
* notes
*************************************************************/
function mmOut(obj)
{
	if (obj.getAttribute("selected") == "0")
	{
		obj.src = "images/layout/" + obj.name + "_up.png";
	}
}

/*************************************************************
* function 		init
* purpose
* notes
*************************************************************/
function init()
{
	preloadMenuImages();
}

/*************************************************************
* function 		preloadMenuImages
* purpose
* notes
*************************************************************/
function preloadMenuImages()
{
	var srcs = new Array("images/layout/courses_over.png",
						 "images/layout/facility_over.png",
						 "images/layout/schedule_over.png",
						 "images/layout/services.png");
	var imgs = new Array(new Image(),
						 new Image(),
						 new Image(),
						 new Image());
	for(ctr = 0; ctr < srcs.length; ctr ++)
	{
		imgs[ctr].src = srcs[ctr];	
	}
}

/*************************************************************
* function 		printerFriendlyVersion
* purpose
* notes
*************************************************************/
function printerFriendlyVersion()
{
	window.open("print.php", "_blank");
}

/*************************************************************
* function 		getContent
* purpose
* notes
*************************************************************/
function getPageContent()
{
	var str = document.getElementById("page_content").innerHTML;
	return str;
}

/*************************************************************
* function 		getContent
* purpose
* notes
*************************************************************/
function getPageTitle()
{
	var str = document.getElementById("page_content").title;
	return str;
}