t [ 25343 .]