y [ 7143 .]