function hoverTopMenu(menu_element) {
	document.getElementById("parent_"+menu_element).style.backgroundImage = 'url("/design/extellient/images/menu-link-hover.gif")';
}

function outTopMenu(menu_element) {
	document.getElementById("parent_"+menu_element).style.backgroundImage = 'url("/design/extellient/images/menu-link.gif")';
}

function outTopMenuSelected(menu_element) {
	document.getElementById("parent_"+menu_element).style.backgroundImage = 'url("/design/extellient/images/menu-link-active.gif")';
}