( 9 502 .)