<!--
   function dc(s)
      {
         c='';
         for (i=0;i<s.length;i++)
         {
            if (s.charAt(i) == '~')
            {
               if (s.charAt(i+1) == 'a')
                  c+='@';
               else
                  c+='.';

               i+=3;
            }

            else
               c+=String.fromCharCode(s.charCodeAt(i)-2);
         }

         return c
      }

-->