ss');
      var spinnerElement = document.getElementById('spinner');
      var typeElement = document.getElementById('type');
      var copyButtonElement = document.getElementById('copy');

      var Module = {
        print: (function() {
          var element = document.getElementById('output');
          if (element) element.value = ''; // clear browser cache
          return function(text) {
            if (arguments.length > 1) text = Array.prototype.slice.call(arguments).join(' ');
            // Thes