include <bits/stdc++.h>
using namespace std; int lucky[114514]; //m,fjdjesehghffhfghdghdjf"'z'''''''''''''''''' int main() {
int year, day = 43, ans = 0, x = 2;
cin >> year;
for (int i = 2004; i <= year; i++) {
if (i % 100 == 0) {
if (i % 400 == 0) {
day += 31 * 6 + 30 * 3 + 29 + 18;
if (day % 7 == 3) {
lucky[ans] = i;
ans++;
}
day += 43;
} else {
day += 31 * 6 + 30 * 3 + 28 + 18;
if (day % 7 == 3) {
lucky[ans] = i;
ans++;
}
day += 43;
}
} else {
if (i % 4 == 0) {
day += 31 * 6 + 30 * 3 + 29 + 18;
if (day % 7 == 3) {
lucky[ans] = i;
ans++;
}
day += 43;
} else {
day += 31 * 6 + 30 * 3 + 28 + 18;
if (day % 7 == 3) {
lucky[ans] = i;
ans++;
}
day += 43;
}
}
//cout << day << endl;
}
cout << ans << endl;
for (int i = 0; i < ans; i++) {
cout << lucky[i] << " ";
}
return 0;
}
