Pencils come in boxes of 10. How many boxes should Mr. Sawicki but if he needs 142 pencils?