What is 17 3/2+0.5?