( 13 , 576 .)