n = int(input()) a = sorted(map(int, input().split())) d = {} ans = 0 for ai in a: d[ai] = d.get(ai, 0) + 1 d[ai+1] = d.get(ai-1, 0) ans += 1 + d[ai+1] print(ans)