function getInternetExplorerVersion()
// 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;
}
function checkVersion(){
  var msg = "You're not using Internet Explorer.";
  var ver = getInternetExplorerVersion();

  if ( ver > -1 )  {
    if ( ver >= 7.0 ) {
		msg = "You're using a recent copy of Internet Explorer."
		//alert (msg);
	}else {
		msg = "You should upgrade your copy of Internet Explorer.";
		//alert (msg);
		var answer = confirm('You currently have a very old version of Internet Explorer. We suggest that you upgrade your copy in order to take advantage of the rich media features of this website. Please click OK below to upgrade:')
		if (answer) {
			window.location = "https://www.microsoft.com/windows/products/winfamily/ie/ie7/sysreq.mspx"
		}
	}
  }
}