[ 11880 . ]'