the average salary of all the workers in a workshop is rs . 8000 . the average salary of 7 technicians is rs . 11000 and the average salary of the rest is rs . 6000 . the total number of workers in the workshop is