(DIR) 4.2.4p7