function setForm()	{
	document.form1.jump.options[0].selected = true
}

function jumpPage(sel)
{
	n = sel.selectedIndex;
	p = sel.options[n].value;
	if (p!="-") location.href = p;
}