У учителя было 12 цветных и 5 простых карандашей. 8 карандашей он раздал детям. Сколько карандашей осталось у учителя?