HTML encoding for double quotes

Handling of quotes the value attribute of an input tag