i anslaget till de allmänna lärowerken samt 8,750 kr.