1002X2 . ) ( 9.20 .)