// change menu backgrounds/colors
function menu_mouseover (obj, sub_counter, no_sub_elements)
{
	obj.style.background='#d5d5d5';

	for (var x = sub_counter; x < sub_counter + no_sub_elements; x++)
		document.getElementById("subnav_a[" + x + "]").style.visibility="visible";

}

function menu_onmouseout (obj, sub_counter, no_sub_elements)
{
	obj.style.background='#f0f0f0';

	for (var x = sub_counter; x < sub_counter + no_sub_elements; x++)
		document.getElementById("subnav_a[" + x + "]").style.visibility="hidden";
}