för ordinarie professor skulle sålunda blifva 7,000 och för e. o. professor 5,000 kr.