7466x32 ] ( 4017 .)