function showmenu_dsl(parameter) {

	if (document.getElementById(parameter).style.display == 'none')
	{
		document.getElementById(parameter).style.display ='';

	}
	else {
  		document.getElementById(parameter).style.display ='none';
	}
}