#define rep(i,n) for(int i=0;i<(int)(n);i++) #define ALL(v) v.begin(),v.end() typedef long long ll; #include using namespace std; int main(){ ios::sync_with_stdio(false); std::cin.tie(nullptr); vector A={"spring","summer","fall","winter"}; int x; cin>>x; x=(x+9)%12; cout<