<!--
    function submitForm(theForm)
    {
	var f = document.getElementById(theForm);
	f.submit();
    }
//-->