The average salary of workers in an industry is Rs.200 the average salary of technicians being Rs.400 and that of non-technicians being Rs.125. What is the total number of workers?