( 12 7 2)