What is a third of the sum of #9# and #6# ?