( 13 9 6)