function $id(id) {
	return document.getElementById(id);
}
function nav_open(menu) {
	if ($id('lnav_' + menu).className == 'lnav_open')
		nav_close();
	else {
		nav_close();
		$id('lnav_' + menu).className = 'lnav_open';
	}
}
function nav_close() {
	eleUL = document.getElementsByTagName('li');
	for (i=0; i<eleUL.length; i++)
		if (eleUL[i].id.indexOf('lnav_') != -1)
			eleUL[i].className = 'lnav_closed';
}