Illinois. Department of public instruction. [from old catalog]