// Switch to the correct state page

function switch_state (s) {
    for (var i = 0; i < s.options.length; i++) {
        if (s.options[i].selected) {
            window.location = s.options[i].value;
            break;
        }
    }
}

/*  function remove_button () {
 *     button = document.getElementById('nav_button');
 *     button.parentNode.removeChild(button);
 *  }
 */