med myntverkets öfverskott 5 , 254 , 645 kr.