unix_timestamp() gives the correct replacement for PHP time() function