公務員の年間総人件費は30兆円だ。