[ [ 10880 .]