( 23 , 001 .)