( 12 , 14 , 17 .)