4002x1 ) ( 1712)