Adding lab12.html.