Update and rename whatever12.html to whatever13.html