Delete html3.html