24853X3 . ) ( 40056 .)