国家公務員に冬のボーナス=平均額は59万2900円
http://headlines.yahoo.co.jp/hl?a=20101210-00000045-jij-soci
http://www.jinji.go.jp/kankoku/kokkou/22kokkou.htm
行政職の人間は約 14.8万人
そのうち管理職がどれだけいるのかがわからないけれど、
管理職の手当は一般職以上だろうから
冬のボーナスだけで最低でも 800億円以上。
実際のところ国家公務員はもっといるので
いくらぐらいになるのかは想像がつきませんね。
ただ、夏冬あわせて合計四ヶ月分がボーナスと仮定するなら
平成22年度国家公務員人件費5兆1800億円の 1/4 である
約1兆3000億円が年間のボーナスとして支給されていると推定できます。
以下の総務省のページに担当者が載っているので
電話して確認してはどうでしょうか?