function html_entity_decode(s) {
	try {
		var textarea = document.createElement("textarea");
		textarea.innerHTML = s;
		return textarea.value;
		textarea.parentNode.removeChild(textarea);
	} catch(e) {
		document.getElementById("html_entity_decode").innerHTML = "<textarea id=\"html_entity_decode_textarea\">" + s + "</textarea>";
		s = document.getElementById("html_entity_decode_textarea").value;
		document.getElementById("html_entity_decode").innerHTML = "";
		return s;
	}
}