Update lab12.html