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

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