function(s) { 
  return $('<div/>').text(s).html();
}