function submit_form(id) {
	document[id].submit();
}