4172X3 . ) ( 3089 .)