7 + 10 + 12 = ?