Cho số nguyên dương $n$.

Yêu cầu:

Viết chương trình tìm số nguyên tố nhỏ nhất lớn hơn $n$.

Input:

Một dòng ghi số nguyên dương $n$ ($1\le n\le {10}^7$).

Output:

Một dòng ghi số nguyên tố nhỏ nhất lớn hơn $n$.

Ví dụ:

input

15

output

17