../ bophook.dtx 30-Mar-2001 00:24 8670 bophook.ins 30-Mar-2001 00:03 1441 bophook.pdf 31-Dec-2006 22:33 63K