, [ 10493 .]