( 12 , 917 .)