( 15 6 7)