7145X3 ) ( 6023 .)