В больших пачках по 500 листов бумаги, а в малых — по 250 листов. За неделю в типографии израсходовали 8000 листов, причём больших пачек израсходовали 9 штук. Сколько израсходовано малых пачек бумаги?