( 15 7 6)