Fatal error: Call to undefined function: checkstring() in /pub/home/vhdl71/allpumps/www/tb.php on line 13