Section 7257