* use a more performant html encode method