// # Version: $RCSfile: submitform.js,v $$Revision: 1.3 $$Date: 2006/05/30 16:25:15 $
submitFormDone = false;
function submitForm()
{
	if (!submitFormDone)
	{
		submitFormDone = true;
		return true;
	}
	else
	{
		return false;
	}
}
