return s(val).replace(re, function(t){
if( t == '>' ) return '>'; if( t == '<' ) return '<'; if( t == '&' ) return '&'; if( t == '"' ) return '"'; return t;
return { '>': '>', '<': '<', '&': '&', '"': '"' }[t] || t
new Option("<div>in the browser, yes.</div>").innerHTML
return s(val).replace(re, function(t){
});