omkring 850 mynt och medaljer.