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