( 9 , 144 .)