function do_navig_menu()
{
navig_url=document.navig_form.choice.options[document.navig_form.choice.selectedIndex].value
if (navig_url == "") {
return
}
self.location=navig_url;
}