sawine@0: function command()
sawine@0: {
sawine@0:     var com = document.getElementById("com").value;
sawine@0:     var view = document.getElementById("view-area");
sawine@0:     view.value = "hi";
sawine@0: }