McHenry Library: students using the microfilm readers