[ 10000 . ]'