About as much as it takes to run a T42 for a year, if you must know.
Ok, you got me, I wasn't specific. I apologise.
What I SHOULD have said, was around the level of % of GDP, that it was in the 1960's - so around 6% as opposed to 2.5% currently.
There you go.