x [ 10138 .]