7352x3 ) ( 3875 .)