Update html_encode.js