What is 20 + 7?