7b78e00ea16637bf9868bf097b3176aa617509f1  btxdoc.tex