( 15 , 523 .)