11,527 coins