13197X3 ) ( 7 , 576 .)