What is 18 more than 15+17?