3444x1 ) ( 3894 .)