öfver riksbankens mynt anslogs 3750 kr.