function submitOnEnter(e) {
	var code = "";
	if (window.event) // IE
	{
		code = e.keyCode;
	} else if (e.which) { // Netscape/Firefox/Opera
		code = e.which;
	}
	if (code == 13) 
	{
		doSubmit();
		return false;
	}
}
function doSubmit()
{
	// omitted logic that sets the action on the form based on the selected option
	var keyword = document.getElementById('keyword').value;
	window.location="/web/gwi/NL/zoeken/" + keyword + "/1";
}