( 12 7 3)