function toggleMenuWidth(menuWidth) 
{
	var menuDiv = document.getElementById('menu_ver');
	if (menuWidth<155) { menuWidth = 155; }
	menuDiv.style.width = menuWidth + 'px';
}