function addr(id)
{
  var addr = addrs[id].replace(/\s/, String.fromCharCode(64));
  document.write('<a href="mai'+'lto:'+addr+'">'+addr+'</a>');
}