function highlight(x){document.f1.elements[x].focus();document.f1.elements[x].select()}
function str2hex(s) {
var a,b,d;
var hexStr = '';
for (var i=0; i < s.length; i++) {
d = s.charCodeAt(i);
a = d % 16;
b = (d - a)/16;
hexStr += '%' + "0123456789ABCDEF".charAt(b) + "0123456789ABCDEF".charAt(a);
}
return hexStr;
}
function encode() {
var s0 = document.f1.str.value;
var encod;
document.f1.encoded.value = encod = str2hex(s0);
s0 = s0.replace(/\@/,' at ');
s0 = s0.replace(/\./g,' dot ');
document.f1.all.value ='<a href="mailto:' + encod + '">Contact</a>';}