function decodeHtml(s) {        var HTML_DECODE = {            "&lt;": "<",            "&gt;": ">",            "&amp;": "&",            "&nbsp;": " ",            "&quot;": "/"",            "&copy;": ""            // Add more        };        var REGX_HTML_ENCODE = /"|&|'|<|>|[/x00-/x20]|[/x7F-/xFF]|[/u0100-/u2700]/g;        var REGX_HTML_DECODE = /&/w+;|&#(/d+);/g;        var REGX_TRIM = /(^/s*)|(/s*$)/g;        s = (s != undefined) ? s : "";        return (typeof s != "string") ? s :            s.replace(REGX_HTML_DECODE,                      function ($0, $1) {                          var c = HTML_DECODE[$0];                          if (c == undefined) {                              // Maybe is Entity Number                              if (!isNaN($1)) {                                  c = String.fromCharCode(($1 == 160) ? 32 : $1);                              } else {                                  c = $0;                              }                          }                          return c;                      });    };