1,264,872 coins