X 7 ) ( 5842 .)