( 42 7 3)