till högstolans allmänna fond 5,000 kr.