#!/usr/bin/php.cli
<?
print date("D M j H:i:s T Y",$argv[1]) . "\n";
?>
