7496 x 32 ] [ 4017 .)