Question: Is there a mysql function that will format a unix timestamp?