function submitForm(form) {
	var f = document.getElementById(form);
	f.submit();
}