Update and rename Lab12.html to Lab13.html