473,531 coins