QUANTO CUSTA?

Alguém sabe (Ministro das Finanças incluído) quanto paga o Estado português em salários aos mais de 700 mil funcionários públicos?