document。getElementById("content")。innerHTML=str;
str=str。replace(/&hllp;/gi,"…")。replace(/&ldqo;/gi,"“")。replace(/ldqo/gi,"ldquo")。replace(/&rdqo;/gi,"”")。replace(/‐/gi,"—");
str=str。replace(/\