( 9 , 722 .)