function uencodeHTML(text) {        return text.replace(/&lt;/g, "<").replace(/&gt;/g, ">").replace(/&quot;/g, ‘"‘);    }