12 + 7 + 10 = ?