Update html4-test.html