4135X3 . ) ( 8441 .)