( 2 42 3)