On August 1, 2012, Windows 8 (build 9200) was released to manufacturing with the build number 6. What was the final build Microsoft decided to manufacture?