/* -*-Jscr-*-
 * 
 * FILE: goToUrlForm.js
 * 
 * Usage:
 * 
 * <SCRIPT type="text/javascript" src="javascript/goToUrlForm.js"></SCRIPT>
 * 
 */

function goToUrl(form, nr) {
    var newIdx = form.dest.selectedIndex
    var newUrl = form.dest.options[newIdx].value
    location.href = [newUrl]
}