All the code for 7876.