7424x1 ) ( 3910 .)