../ bophook.dtx 29-Mar-2001 23:24 8670 bophook.ins 29-Mar-2001 23:03 1441 bophook.pdf 31-Dec-2006 21:33 64821