// JavaScript Document

function randi_jump(sel) {
  if (sel.options[sel.selectedIndex].value) {
	window.self.location.href = sel.options[sel.selectedIndex].value;
  }
}