function menu(id) {
	if(objMenu = document.getElementById('mn-' + id)) {
		objMenu.className = "activo";
		if (browserName=="Konqueror") { 
		}
		else {
			objMenu.innerHTML += "<span id='soml'></span><span id='somr'></span><span id='somlb'></span><span id='somrb'></span>";
		}
	}
}

function submenu(id) {
	if(objSubmenu = document.getElementById('mn2-' + id)) {
		objSubmenu.className = "activo";
		objSubmenu.innerHTML += "<span id='somsubl'></span><span id='somsubr'></span>";
	}
}