9142.X1- ) ( 9.445 .)