: [ 11972 .]