What is 12 + 7?