// JavaScript Document

function DoFormSubmit(formid)
{
	var f = document.getElementById(formid);
	f.submit();
}