( 12 , 007 .)