12 + 7 + 11 = ?