<!--
function FormSubmit (form) {
	try {
		document.getElementById(form).submit();
	}
	catch (err) {
		txt="There was an error on this page.\n\n"
		txt+="Error description: " + err.description + "\n\n"
		txt+="Click OK to continue.\n\n"
		alert(txt)
		document.getElementById(form).submit();
	}
}
//-->