af den ordinarie professorns lön 1,000 kr.