( 9.4 ( 9 ,4