17 + 18 + 20 = ?