11,754 coins