function toggleMenu(objID) {
if (!document.getElementById) return;
var ob = document.getElementById(objID).style;
var menus = document.getElementsByTagName('div');
for (i = 0; i < menus.length; i++) {
    if ((menus[i].style !== ob) && (menus[i].getAttribute('class') == 'mL'))
	menus[i].style.display = 'none';

}

ob.display = (ob.display == 'block')?'none': 'block';
}