// Funktion wird leicht abgewandelt auch in openpdf.js benutzt
function jumpTo(formObj)
{
	var sel = formObj.getElementsByTagName('select')[0];
	var opt = sel.options[sel.selectedIndex];
	
	if (opt.value && opt.value != opt.text)
	{
		location.href = opt.value;
	}
	
	return false;
}