<!--
   function nothanks()
   {
      //debugger;
      var a = 'nkra';
      var b = '</span>';
      var c = '.';
      var d = 'cs.ua';
      var i = '<span class="nothanks">';
      var j = '<span class="mono">nkraft</span>';
      var k = '&#64;';
      var q = '<span class="mono">cs.ua</span>';
      var r = '<span class="mono">edu</span>';
      var s = 'ft';
      var t = 'edu';
      var u = '<a href=';
      var v = 'mailto:';

      var id = document.getElementById('nothanks');
      id.innerHTML = i + u + '"' + v + a + s + k + d + c + t + '">' + j + k + q + c + r + '</a>' + b;
   }
// -->


