7 + 3 + 12 = ?