x2 ] 15192 .)