function autonav() {
if (document.nav.destination.options[document.nav.destination.selectedIndex].value) {
top.location = document.nav.destination.options[document.nav.destination.selectedIndex].value
}
}