' * * * ( 6023 .)