What is 6x3/7 as a mixed number?