#include <stdio.h>
#include <string.h>

int main()
{
  char in[100];
  char* p[3];
  fgets(in, 100, stdin);
  p[0] = strtok(in, " ");
  p[1] = strtok(NULL, " ");
  p[2] = strtok(NULL, " ");
  printf("%s %s %s", p[2], p[0], p[1]);
}