( 13 , 534 .)