html special chars conversion.