3,802 coins