4가 맞습니다. IE버전과 Agent의 버전은 다릅니다.
제가 지금 IE를 사용중인데 정확한 Agent는 다음과 같습니다.
Mozilla/4.0 (compatible; MSIE 5.5; Windows NT 5.0; T312461)
IE5.5는 Mozilla/4,0이죠.. 즉 4가 맞습니다.


<script>
        alert((navigator.appVersion) );
</script>

이렇게 한번 해보시면 알겁니다.

브라우저의 이름과 버전을 알기 위해서는
  1. 브라우저를 체크한다.
  2. 브라우저 종류에 따라 appVersion의 적절한 위치에서 버전을 가져온다
식으로 해야합니다.


<script language="JavaScript">
    var bname = navigator.appName;
    var bVersion = parseInt(navigator.appVersion);
    if( (bname=="Microsoft Internet Explorer") && (bVersion >= 4 )) {
        var myString = navigator.appVersion;
        var myArray = myString.split(';');
        bVersion = myArray[1].substring(6,7);
        bVersion = parseInt(bVersion);
    }
    if( (bname=="Netscape") && (bVersion==4)) {
        var bVersion = parseFloat(navigator.appVersion);
    }

    alert( bname + " " + bVersion);

</script>


예전에 했던건데 잘 이용해보시기 바랍니다.