580,000 riksdaler ( danskt mynt ).