X 4 ) ( 6193 .)