7466X32 ] ( 4017 .)