_ ( 13 , 523 .)