3714x2 ] ( 4752 .)