function menu_selected(id)
{
	document.getElementById("menu_"+id).className = "selected";
}