ちょっと変な、GMT -> JST への変換プログラム（時間を扱う）

Googleの情報は全てGMT（グリニッジ標準時）で扱われているので、
＋９時間する必要があったので、以下のプログラムを書いた。
※自分のプログラムの途中のプログラムなので、表記がおかしい部分があるのはご愛嬌。

<?php
echo "現状　　　：Mon Jun 28 20:59:18 JST 2010 (実際はGMT)<br />";
echo "完成予想図：Tus Jun 29 05:59:18 JST 2010 (実際はJST)<br /><br />";

$deftime = "Mon Jun 28 20:59:18 JST 2010";

echo strtotime($deftime);
echo "<br />出力結果：";
echo date('D M d H:i:s T Y', strtotime($deftime)+9*60*60);
?>