0359:

#include 
const char* wd[7] = { "thu", "fri", "sat", "sun", "mon", "tue", "wed" };

main() {
  int d;
  scanf("%d", &d);
  printf("%s\n", wd[d%7]);
  return 0;
}