the average salary of all the workers in a workshop is $ 1000 . the average salary of 5 technicians is $ 5000 and the average salary of the rest is $ 500 . the total number of workers in the shop is ?