( 9 , 128 .)