//<![CDATA[
function compress() {
        var s  = document.getElementById("input").value

        s = s.replace(/^\/\/.*$/g, "")
        s = s.replace(/\t/g, " ")
        s = s.replace(/^ +/gm, "")
        s = s.replace(/ +/g, " ")
        s = killMultipleLineBreaks(s)

        document.getElementById("output").value = s
}

function killMultipleLineBreaks(s) {
        var a1 = s.split("\n")
        var a2 = new Array()
        for (var i = 0; i < a1.length; i++) {
                if (a1[i].match(/\S/)) {
                        a2.push(a1[i])
                }
        }
        return a2.join("\n")
}

function selText()
        {
                document.getElementById("output").select();
        }
//]]>