711X3 ) ( 6042 .)