function submenu_visible(div_enabled)
{
	var sub_menu_enable=document.getElementById("sub_menu_enabled").value;
	document.getElementById(sub_menu_enable).style.display="none";
	document.getElementById(div_enabled).style.display='block';
	document.getElementById("sub_menu_enabled").value=div_enabled;

}
	
function sendForm()
{
	var frm = window.document.searchForm;
	
	frm.submit();
}