set TheFileName OCC21567-badf2.brep