});
}
function escape_str(s){
return s != null ? s.escapeHtml() : "";
var HtmlCharsToEscape = {
'&': '&',
'<': '<',
-