xslt, xml);
            document.getElementById("output-xml").value = result;
        }
        function doProcessing() {
            var params = parseParams(document.getElementById("parameters").value);
            var xslt = document.getElementById("processor-xslt").value;
            var xml = document.getElementById("output-xml").value;
            var result = transform(xslt, xml, params);
            document.getElementById("output-xml").value = result;
        }
        function doPostprocessing() {