is a PHP function ^^.