( 13 , 377 .)