mynt från ungefär 15 000 till 10 500 kr .)