set TheFileName OCC21567-badf2.brep
