function getInternetExplorerVersion() { // Returns the version of Internet Explorer or a -1
  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 );
  }
  else if (navigator.appName == 'Netscape'){
    var ua2 = navigator.userAgent;
    var re2  = new RegExp('Firefox/([0-9]{1,}[\.0-9]{0,})');
    if (re2.exec(ua2) != null)
      rv = parseFloat( RegExp.$1 );
  }
  return rv;
}


function UnCryptMailto( s ) {
	var n = 0; var r = "";
	for( var i = 0; i < s.length; i++) {
		n = s.charCodeAt( i );
		if( n >= 8364 ) n = 128;
		r += String.fromCharCode( n - 1 );
	}
	return r;
}
function linkTo_UnCryptMailto( s ){
        location.href=UnCryptMailto( s );
}