( 12 7 5)