#include <stdio.h>
int main()
{
int month;
scanf("%d", &month);
switch (month)
{
case 1:
case 2:
case 3:
printf("Spring\n");
break;
case 4:
case 5:
case 6:
printf("Summer\n");
break;
case 7:
case 8:
case 9:
printf("Autumn\n");
break;
case 10:
case 11:
case 12:
printf("Winter\n");
break;
default:
printf("Input Error\n");
break;
}
return 0;
}