財源は?国家公務員の給与?