function menu_open() {


	el = document.getElementById('facilities_submenu');

	el_facilities_link = document.getElementById('facilities_link');
	el_facilities_parent_link = document.getElementById('facilities_parent_link');
	
	el.style.display = 'block';

	Element.addClassName(el_facilities_link, "current");
	Element.addClassName(el_facilities_parent_link, "current");

	
}

addLoadEvent(menu_open);