( 9 , 599 .)