5843x2 ] [ 8772 .]