This is very handy for making a yyyymmddhhmmss date look pretty.
<?php
$year = substr($timestamp, 0, 4);
$month = substr($timestamp, 4, 2);
$day = substr($timestamp, 6, 2);
$hour = substr($timestamp, 8, 2);
$min = substr($timestamp, 10, 2);
$sec = substr($timestamp, 12, 2);
$pubdate = date('D, d M Y H:i:s O', mktime($hour, $min, $sec, $month, $day, $year));
?>