function mail(m)
{
        pos = m.replace(' at ','@');
        location.href = 'mailto:'+pos;
}

        function colorize(obj,hatter,eloter)
        {
          obj.style.backgroundColor = "#"+hatter;
          obj.style.color = "#"+eloter;
        }