Some PHP Utilities