function toggle_drop_down_menu(id,style) {
	
	var menu=document.getElementById('drop_down_menu_'+id);
	menu.style.display=style;

}