TEXT bachotex.eng
  TEXT bachotex.pol
  TEXT bachotex.ps
  TEXT bachotex.tex