how to convert Date time from json to php

I'm just adding some clarifications
the json date is in this format [receivedDate] => 1273001345

I need help on how to get it from [receivedDate] => 1273001345

especially that 1273001345 into our normal time ie: May 9, 2010

Here you go...

<?
$date = date('M j, Y', '1273001345');
?>

Thanks a lot, it's working :r