# include <stdio.h>

int main()
{
   static char buf[4096];

   while ( fgets(buf,sizeof(buf),stdin) != NULL )
   {
     int cnt;
     char *cp;
     for( cp = buf; *cp && *cp != '/' ; cp++ );
     *cp++ = 0;
     for( cnt = 0; *cp ; cp++ ) if ( *cp == '/' ) cnt++;
     printf("%s & %d\\cr\n",buf,cnt);
   }
   return 0;
}