the average salary of all the workers in a workshop is $ 8000 . the average salary of 7 technicians is $ 12000 and the average salary of the rest is $ 6000 . the total number of workers in the shop is ?