function SubMenu($menu,$submenu,$element,$element_id,hideall) {
	$holder = document.getElementById($menu);
	if ($holder) {
		if (hideall) {
			$items = $holder.getElementsByTagName('ul');
			for (var i = 0; i < $items.length; i++) { if ($items[i].id != ($submenu+$element_id))  $items[i].className=$submenu; }
		}
		if ($element && $element_id) {
			$subelement = document.getElementById($submenu+$element_id);
			if ($subelement) {
				if ($subelement.className==$submenu) $subelement.className=$submenu+'a'; 
				else if ($subelement.className==($submenu+'a')) $subelement.className=$submenu;
			}
		}
	}
}