17012x1 ] [ 6734 .]