#include <stdio.h>
#include <xmmintrin.h>

int main(void) {
	int day = 0;
	scanf("%d", &day);
	
	char days[8][16] = {
		"\0\0\0\0\0\0\0\0\0\0\0\0\0---",
		"\0\0\0\0\0\0\0\0\0\0\0\0\0Mon",
		"\0\0\0\0\0\0\0\0\0\0\0\0Tues",
		"\0\0\0\0\0\0\0\0\0\0Wednes",
		"\0\0\0\0\0\0\0\0\0\0\0Thurs",
		"\0\0\0\0\0\0\0\0\0\0\0\0\0Fri",
		"\0\0\0\0\0\0\0\0\0\0\0Satur",
		"\0\0\0\0\0\0\0\0\0\0\0\0\0Sun",
	};
	char res[20] = "\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0\0day";
	
	_mm_storeu_ps(res, _mm_loadu_ps(days + (day & 0x07)));
	char *s = res + 10;
	while (*s == '\0') ++s;
	printf("%d -> %s\n", day, s);
	
	return 0;
}