6143 ) ( 5788 .)