( 12 , 309 .)