12 + 6 + 7 = ?