function checkEnter(e) {
	var characterCode

	if (e && e.which) {
		e = e
		characterCode = e.which
	} else {
		e = event
		characterCode = e.keyCode
	}
	
	if(characterCode == 13) {
		document.forms[0].submit()
		return false
	} else {
		return true
	}

}

function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}