html encoding (#1)