6023 ) ( 6863 .)