function open_menu(sm) {
	dm=document.getElementById(sm);
	if (dm.style.display=='none') dm.style.display='';
	else dm.style.display='none';
	return false;
}