( 11 , 001 .)