function hex(s){return s.replace(/&#x.*?;/g,function(m){return unescape("%u"+(m.replace(/&#x/g,""))).replace(/;/g,"")});}