20 + 5 + 17 + 18 = ?