What is 9 plus 7?