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