( 13 , 311 .)