bug #5175 :   Now the input parameter is encoded for its HTML rendering