7017 x 3 ) ( 3757 .)