Create formal7.html