( 13 9 7)