( 12 3 7)