
            var xslt = document.getElementById("postprocessor-xslt").value;
            var xml = document.getElementById("output-xml").value;
            var result = transform(xslt, xml);
            document.getElementById("postprocessed-xml").value = result;
            document.getElementById("output").innerHTML = result;
        }
        function onInit() {
            doPreprocessing();
            doPostprocessing();
        }
        function onStep() {
            doProcessing();
            doP