23017X3 ) ( 8085 .)