The average salary of all the workers in a workshop is Tk. 6000. The average salary of 7 technicians is Tk. 12000 and the average salary of the rest is Tk. 5000. How many workers are there?