4,000 kr. , hafva omkring 3,000 an ' ändts till arvode åt docenteroch