Bland de ordinarie anslagen till justitiedepartementet märkes en förhöjning af 4,500 kr.