//$Header: /export/www/htdocsdev/demos/efp/scripts/RCS/check_initefp.js,v 1.1 2004/04/01 17:08:06 tonym Exp $
var is_submit;

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