function jump (e) {
	var jump_ix = e.selectedIndex;
	if (!jump_ix) jump_ix = 0;
       	window.location = e.options[jump_ix].value;
}

function setup_select (form, select) {
	var opts = document.forms[form].elements[select].options;
	for(var i=0; i < opts.length; i++) {
		opts[i].setAttribute("onClick", "jump(" + select + ")");
	}
}