Update html4.js