<!--

/* Used for dropdown menus to immediately jump to the selection instead of using a submit button */
function jumpMenu(targ, selObj, url, restore){
	eval(targ + ".location='" + url + selObj.options[selObj.selectedIndex].value + "'");
	if (restore) selObj.selectedIndex=0;
}

/* Used to set the focus within the search box and preselect any prompt text so the user can begin typing
   a new search immediately.
*/
function setFocus(id) {
	var focusElement = document.getElementById(id);
	if (focusElement != null) {
		focusElement.focus();
		focusElement.select();
	}
}

// -->