php/utils.php added