What is 9+7?