function hoverImage(element_id, img_name, img_extension)
{
	document.getElementById(element_id).src = "images/" + img_name + "-hover." + img_extension;
}

function removeHover(element_id, img_name, img_extension)
{
	if(alwaysHover != element_id)
		document.getElementById(element_id).src = "images/" + img_name + "." + img_extension;	
}

function getCurrentPage()
{
	var sPath = window.location.pathname;
	var sPage = sPath.substring(sPath.lastIndexOf('/') + 1);
	if(sPage.indexOf("?") > 1)
		sPage = sPage.substring(0, sPage.lastIndexOf("?"));
	return sPage;
}