What is 7+2+3?