Update and rename whatever11.html to whatever12.html