17259x2 ) ( 4010 .)