6701x1 ) ( 3507 .)