function submit_form(event, form) {
	if (event.keyCode == 13) form.submit();	
}