( 13 , 307 .)