( 6 789 \"