[ 6789 . ]'