( 13 , 477 .)