10023X1- ) ( 8412 .)