<!--
function goto_URL(URL) {
    window.location.href = URL;
}

function goto_URL_object(object) {
    window.location.href = object.options[object.selectedIndex].value;
}
//-->