Rename lab12.html to lab13.html