( 3 9 42)