What is 6 plus 7?