#include <stdio.h>
#include <string.h>
main(argc,argv)
int argc;
char *argv[];
{
char *sp,name[1024];
strcpy(name,argv[1]);
sp=strchr(name+2,'/');
*sp=0;
printf("http:%s/jg/serv/%s\n",name,sp+1);
}