function jumpToControl() {
	if(document.codeform.jumpto.value != '') {
		document.codeform.jumptosubmit.disabled = false;
		document.codeform.jumptosubmit.className = "highlightbutton";
	} else {
		document.codeform.jumptosubmit.disabled = true;
		document.codeform.jumptosubmit.className = "generalbutton";
	}
}