// but google chrome's innerText is, in a sense, "write only"
// what should we do?
// logarea.innerText = txt + "\n" + logarea.innerText;
// but google chrome's innerText is, in a sense, "write only"
// what should we do?
// logarea.innerText = txt + "\n" + logarea.innerText;