$time = "1238849404"
echo date('D, d M Y H:i:s',$time);

PHP: date - Manual