Update html_functions.php