Rename lab12 to lab12.html