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