function processKey(e) {
	if (null == e)
		e = window.event ;
	if (e.keyCode == 13)  {
		document.forms[0].submit();
	}
}