A government department has an annual budget of £240,000.It allocates 40% to staff costs, 25% to equipment, and the remainder to operations.How much is allocated to operations?