document.getElementsByTagName('p')[1].innerHTML = "It uses a script with encoding ISO-8859-2 (true if '®' == 'Ž').";
  onload = function () {
    document.getElementsByTagName('p')[2].innerHTML = document.getElementsByTagName('iframe')[0].contentDocument.getElementsByTagName('p')[0].innerHTML;
    document.getElementsByTagName('iframe')[0].contentDocument.location = 'results.cgi/\u017d?\u017d';
  }