( 4 5 7)