<!-- 
var mai = "mai";
var lto = "lto:";
var user = "GetInfo";
var sld = "Teleformance";
var tld = "net";
document.write('<a class=\"linkHighlight\" href=\"' + mai + lto + user + '@' + sld + '.' + tld  + '\"  title=\"Request Information\">');
document.write(user + '@' + sld + '.' + tld + '</a>');
// -->