9,412 coins