( 12 , 001 .)