( 13 , 752 .)