12744x8 ] [ 7488 .]