( 9 , 534 .)