( 15 8 7)