äro dock 7 professorer och 7 docenter tjenstledige.