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