function menu_in(o)
{
	var pic = document.getElementById(o.id);
	pic.src = '/img/' + o.id + '_h.gif';
}
function menu_out(o)
{
	var pic = document.getElementById(o.id);
	pic.src = '/img/' + o.id + '.gif';
}