( 13 , 524 .)