( 13 8 7)