3472X1 ) ( 4042 .)