[ 1001 ) 0 .]