#include <bits/stdc++.h>
using namespace std;
int main() {
  char str[100];
  int cpos = 0;
  cin >> str;
  if (str[0] == 'h')
    cout << "http://", cpos += 4;
  else
    cout << "ftp://", cpos += 3;
  do {
    cout << str[cpos++];
  } while (str[cpos] != 'r' || str[cpos + 1] != 'u');
  cout << ".ru";
  ++ ++cpos;
  if (str[cpos]) {
    cout << "/";
    while (str[cpos]) cout << str[cpos++];
  }
  return 0;
}
