( 42 6 7)