X 4 ) ( 5193 .)