sS hjs_htmlencode() {
  ret hjavascript([[
function htmlEncode(value){
  return $('<div/>').text(value).html();
}
]]);