3,509 coins