what is 17 8/12 - 12 3/12?