После подсчета на специальном устройстве выяснилось, что сумма монет составляет около 3800 долларов.