date('c')形式を使用して東京時間を取得する方法

date('c') 形式を使用して東京時間を取得するにはどうすればよいですか?
サーバーの現在のタイムゾーンは北京タイムゾーン +08:00 です。東京時間 +09 を取得するには、date('c')2012-09-11T17:00:00+09:00 形式を使用するにはどうすればよいですか。 :00?

-----解決策---------
date_default_timezone_set('Asia/Tokyo');
echo date('c'); //2012-10-04T17:16:38+09:00

PHP: サポートされているタイムゾーンのリスト