>>793
#include <stdio.h>

int main(){
int n;
scanf("%d", &n);
const char *tbl[] = {"冬またはwinter","春またはspring","夏またはsummer","秋またはautumn"};
printf("%s\n",tbl[n%12/3])
}