What is 142 divided by 18?