13177X1 ) ( 7 , 523 .)