professorer den i tjensten äldste 4,500 och de twä andre 4,000 kr.