( 6 5 7)