HTML encoding of double quotes

Handling of quotes the value attribute of an input tag