(function($){var htmlEncodeDiv=null;$.htmlEncode=function(text){if(text===null)return null;if(text==='')return'';if(htmlEncodeDiv===null)htmlEncodeDiv=$('<div></div>');var html=htmlEncodeDiv.text(text).html();html=html.replace(/"/g,'&quot;');return html};$.htmlDecode=function(html){if(html===null)return null;if(html==='')return'';if(htmlEncodeDiv===null)htmlEncodeDiv=$('<div></div>');return htmlEncodeDiv.html(html).text()}})(jQuery)