( 13 , 578 .)