#include<stdio.h>
int main()
{
    int a;
    scanf("%d\t",a);
    printf("%d/t",a);
    return 0;
}