— Universitetsbudgeten i Norge.