>>889
俺も英語版5.1なんで調べてみたよ。

about internet explorerを見てみると、左下の方に
5.1.3（4012）とか書いてあるんだが、それがバージョン番号じゃないの？