( 3 9 88)