The average salary of all workers in a workshop is Rs.12000. The average salary of 7 technicians is Rs.15000 and the average salary of the rest is Rs.9000. The total number of workers in the workshop is

• 12
• 13
• 14
• 15