3,894 coins