php - PHPでシステム時間を取得するには?

Question

私はこの出力を取得しようとしています:

2013072708410102

年/月/日/時/分/秒/ミリ秒です。

私はこれを試しました：

$getDate = date("Ymd");
$getTime = time();

echo $getDate . " " . $getTime;

私はこの種の出力を得ています：

201307271374885743 

年月日は正しいです。しかし、私が望んでいた時間形式が得られるとは思いません。

この形式を 2013072708410102 年/月/日/時/分/秒/ミリ秒にするにはどうすればよいですか?