function menu_on(id)

{

	var d=document.getElementById('pulldown_'+id);

	if (d) d.style.visibility="visible";

}



function menu_off(id)

{

	var d=document.getElementById('pulldown_'+id);

	if (d) d.style.visibility="hidden";

}