jim80net

javascript: (function () {
  main();

  function extractText(element) {
    if (element.nodeType === Node.TEXT_NODE) {
      return element.textContent.trim() + ' ';
    }
    if (element.nodeType !== Node.ELEMENT_NODE) {
      return '';
    }