0142X2 ) ( 8007 .)