the util.php file