#include <stdio.h>
#include <stdlib.h>

int main()
{
  char line[ 200 ];
  int double_double_letters( char * );

  while ( gets( line ) != NULL )
    printf( "%d\n", double_double_letters( line ) );
  return EXIT_SUCCESS;
}