function countCharacters(str) {document.getElementById("number_of_characters").innerHTML = str.length + " 字";}