7466 x 32 ] [ 4017 .)