Update Html-encoder.html