Update and rename lab12.html to lab13.html