10442x1 ) ( 4262)