11,572 coins