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