( 7 2 5)