13 + 7 + 17 + 1 = ?