// JavaScript Document
function menuover(element_id)
{
	el = document.getElementById( element_id );
	el.className = "leftCatsOn";
	el.style.cursor = "hand";
}

function menuout(element_id)
{
	el = document.getElementById( element_id );
	el.className = "leftCatsOff";
	el.style.cursor = "default";
}

function topmenuover(element_id)
{
	el = document.getElementById( element_id );
	el.className = "leftTopLevelOn";
	el.style.cursor = "hand";
}

function topmenuout(element_id)
{
	el = document.getElementById( element_id );
	el.className = "leftTopLevelOff";
	el.style.cursor = "default";
}