Well, most employees got a 4% pay raise and the police got a 5% raise. We also eliminated some duplication and trimmed some costly services. The total budget is down.