encodeForHTML