för 18 professorer , räntmästaren och bibliotekarien samt 1,500 kr.