9,509 coins