function hover ( should, o, URL )
{
	if (should != o)
	{
		document.getElementById('navi-' + should).innerHTML = "<img class='arrow' src='" + URL + "/images/navi_arrow.gif' />";
	}
}
function unhover ( should, o, URL )
{
	if (should != o)
	{
		document.getElementById('navi-' + should).innerHTML = "";
	}
}