void Shift(char s[]) {
int s_len = strlen(s);
memcpy(s + s_len, s, 3);
memcpy(s, s + 3, s_len);
s[s_len] = '\0';
}