#include <stdio.h>
int main () {
int broj,z,x,broj1,broj2,broj3,brojac=0;
scanf("%d",&broj);
broj1=broj/1000000;
printf ("0%d/",broj1);
z=broj;
broj/=1000;
broj2=broj%1000;
x=broj2;
while (x>0){
    x/=10;
    brojac++;}
    if (brojac==3)
printf("%d-",broj2);
    if (brojac==2) printf("0%d-",broj2);
    if (brojac==1) printf ("00%d-",broj2);
broj3=z%1000;
x=broj3;
brojac=0;
while (x>0){
    x/=10;
    brojac++;}
    if (brojac==3)
printf("%d",broj3);
    if (brojac==2) printf("0%d",broj3);
    if (brojac==1) printf ("00%d",broj3);
if (broj1==75 || broj1==76) printf(" ONE");
if (broj1==70 || broj1==71 || broj1==72) printf(" T-mobile");
if (broj1==77 || broj1==78) printf(" VIP");


return 0;
}