show_hover = function (which )
	{
	document.getElementById('cat_hover').src = '/images/' + which + '.jpg'
	document.getElementById('cat_hover').style.visibility = "visible";
	}
	
hide_hover = function()
	{
	document.getElementById('cat_hover').style.visibility = "hidden";
	}

show_text = function(info)
	{
		document.getElementById('menutext').innerHTML = info;
	}
	
hide_text = function()
{
		document.getElementById('menutext').innerHTML = ' ';
}