5435X3- ) ( * 023 .)