13151X2 ) ( 7 , 522 .)