10657 ] [ 5 16)