/* This script and many more are available free online at
The JavaScript Source!! http://javascript.internet.com
Created by: Robin Jones :: http://www.robinjones1.freeuk.com */

function jumpBox(list) {
  location.href = list.options[list.selectedIndex].value
}