11,907 coins