( 12 5 7)