added util.php