#include <stdio.h>

int main(void)
{ 
        char param1[9] = "gbrochar";
        unsigned int local_14 = (param1[3] ^ 0x1337) + 0x5EEDED;
        for(int local_18 = 0; local_18 < 8; local_18++) {
                if (param1[local_18] < 32 || param1[local_18] > 127) {
                        return 1;
                }
                local_14 += (param1[local_18] ^ local_14) % 0x539;
        }
        printf("%s serial number is %u", param1, local_14);
        return 0;
}