#include <stdio.h>
int main(void)
{
int n;
do
scanf("%d", &n);
while(n <= 0 || 12 < n);
switch(n)
{
case 12:
case 1:
case 2:
printf("冬またはwinter\n");
break;
case 3:
case 4:
case 5:
printf("春またはspring\n");
break;
case 6:
case 7:
case 8:
printf("夏またはsummer\n");
break;
case 9:
case 10:
case 11:
printf("秋またはautumn\n");
break;
}
return 0;
}