function isIE() {
 //Detect user agent
	if(navigator.userAgent.toLowerCase().indexOf("msie") != -1) isIE = true;
	else isIE = false;
	return isIE;
	}

function IEversion() {
// http://msdn.microsoft.com/workshop/author/dhtml/overview/browserdetection.asp
// Returns the version of 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;
	}