än 412 eller nära en tredjedel uppnått ben för andra embetsmän wanliga pensionsålder » eller 65 år.