Dies ist eine alte Version des Dokuments!

---

function escapeHtml(htmlStr) {
   return htmlStr.replace(/&/g, '&amp;').replace(/>/g, '&gt;').replace(/</g, '&lt;').replace(/"/g, '&quot;');
}