Date Time Php

date_default_timezone_set('America/Denver');
$summer = mktime(12,0,0,7,4,2008);
print date('c', $summer) . "\n";
date_default_timezone_set('America/Phoenix');
print date('c', $summer) . "\n";
?>