7023x2 ) ( 3678 .)