The average salary of all the workers in a workshop is Rs 8000. The average salary of 7 technicians is Rs 12000 and the average salary of the rest is Rs 6000. The total number of workers in the workshop is (a) 20       (b) 21     (c) 22     (d) 23