9,051 coins