5708x2 ) ( 7906 .)