( 13 , 309 .)