sålunda att utdela till aktieegarne 12,000 kr. , att afsätta till tjenstepersonalens pensionsfond 3,000 kr.