The average salary of all the workers in a workshop is Rs. 8,000. The average salary of 7 technicians is Rs. 12,000 and the average salary of the rest is Rs. 6,000. The total number of workers in the workshop is: