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

signed int __cdecl computeRegistration(const char *str)
{
  signed int i; // edx@1
  signed int v2; // ecx@1
  signed int v3; // edi@1
  int len; // kr00_4@1

  len = strlen(str);
  v2 = 100000;
  i = 0;
  v3 = 4;
  while ( i < len - 1 )
  {
    v2 += v3 * str[i++] + 43;
    v3 += 4;
  }
  return v2;
}

int main() {

  char *name = "Float";

  int serial = computeRegistration( name );
  printf( "Name: %s\nSerial: %d\n", name, serial );

  system("PAUSE");
  return 0;
}