function getInternetExplorerVersion()
// Returns the version of Windows Internet Explorer or a -1
// (indicating the use of another browser).
{
var rv = -1; // Return value assumes failure.
if (navigator.appName == 'Microsoft Internet Explorer')
{
var ua = navigator.userAgent;
var re = new RegExp("MSIE ([0-9]{1,}[\.0-9]{0,})");
if (re.exec(ua) != null)
rv = parseFloat( RegExp.$1 );
}
return rv;
}
var myIE = getInternetExplorerVersion();
//window.alert("message 2 : IE" + myIE);
if (( myIE== -1 ) || ( myIE>= 9 ))
//if (( myIE>= 9 ))
{
//not Internet Explorer
//window.alert("message 3 : code for IE9 and other browsers");
document.write('');
}
else
{
//IE 8 or earlier : above affichage is incorrect
//window.alert("message 5 : code for IE8 or earlier");
document.write('');
}