( 13 , 554 .)