function go_there(navigation_list) {

    // Get the currently selected option
    var new_page = navigation_list.options[navigation_list.selectedIndex].value
    
    // Is it a page option?
    if (new_page != "") {
        self.location = new_page
    }
}