function nav_pulldown(list) {
if (list.options[list.selectedIndex].value != "#"); {
document.location = list.options[list.selectedIndex].value;
}}