echo date("D M j G:i:s Y", 1234567890);