initSymbols();

keyspressed = 20;

function display(now) {
 if (keyspressed==20 || now) {
  var str = document.getElementById("inputText").value;
  var outnode = document.getElementById("outputNode");
  var n = outnode.childNodes.length;
  for (var i=0; i<n; i++)
    outnode.removeChild(outnode.firstChild);
  outnode.appendChild(document.createTextNode(str));
  processNode(outnode);
  keyspressed=0;
 } else keyspressed++;
}

function changeColumns(n) {
  var node = document.getElementById("inputText");
  node.setAttribute("cols",n);
}