//$Header: /u01/apache/htdocsdev/fleet/efp/RCS/check_initefp.js,v 1.1 2003/04/30 12:00:08 rich Exp $
var is_submit;

function check_initefp(s) {
    if (is_submit == 1)
	return initefp(s);
    else
	return true;			// no checks done
}