. [ 9242 .]