7586x4 ) ( 3993 .)