function doEnterKey(id) {
	var y=document.getElementById(id).value;
	if (y) {
		y = $.trim(y); // requres jQuery
	}
	if (((event.which && event.which == 13) || (event.keyCode && event.keyCode == 13)) && y) {
		document.getElementById(id).value = y;
		document.headerForm.submit();
	}
	return(false);
}