5923X1 ) ( 3.017 .)