( i6 7 3)