Update lecture7.html