( ' 6842 .)