Waste of gas, electricity, and water in public buildings.