( 9 601 .)