5,412 coins