HP LaserJet 9000 Printer series - Manual (Page 17)

ENWW Making booklets 17
5 Select Booklet Printing.
6 Select Format output as booklet, and on the drop-down menu
select Paper for booklet. Select a size from the list or type a
custom size.