Update lab1.html