encodeForHTMLAttribute