如何用date('c')格式获取东京时间

怎么用date('c')格式获取东京时间？
现在服务器的时区是北京时区+08:00 请问怎么用date('c')2012-09-11T17:00:00+09:00格式获取东京时间+09:00？

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

PHP: 所支持的时区列表