9,577 coins