utgör sjuhundrafemtiotusen riksdaler riksmynt.