7517 x2 ) ( 3973 .)