nel frattempo avevo provato con questo, preso qua e là su internet:

codice:
var chrome = (/Chrome/.test(navigator.userAgent))?1:0;
var ie=(/MSIE (\d+\.\d+);/.test(navigator.userAgent))?1:0;
function getInternetExplorerVersion() {

    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;
if (ie) {
	    var ver = getInternetExplorerVersion();
		if (ver >= 9.0 )
			alert('Stai usando Internet Explorer! Scarica Mozilla Firefox ;)');
		else
			alert('Stai usando una versione preistorica di IE')
			
}
ma non funzia...