Update html_functions.js