1 + 2 + 15 + 17 = ?