135
135
xmlhttp.setRequestHeader("Content-type", "application/x-www-form-urlencoded");
136
136
xmlhttp.send(make_post_body({"digest":digest, "text":inp.value}))
137
137
var res = JSON.parse(xmlhttp.responseText);
140
140
var pre = document.createElement("pre");
141
141
pre.setAttribute("class", "inputMsg");