riksmyntskassa af 39 , 133 , 624 kr. , hvaraf i det närmaste 15 , 800 , 000 kr.