myntet för 15 kronor.