( 13 , 355 .)