#include <stdio.h>
#include <stdint.h>
#include <string.h>
#include <sys/types.h>
#include <time.h>
// #include <windows.h>
typedef unsigned char byte;
int main()
{
  _Bool _Var1;
  long uVar2;
  char *hash_00;
  char *hex_00;
  char time_string [20];
  char *hex;
  int hex_len;
  char *hash;
  uint32_t timestamp;

  uVar2 = time((time_t *)0x0);
  time_string._0_8_ = 0;
  time_string._8_8_ = 0;
  time_string._16_4_ = 0;
  sprintf((char *)time_string,"%d",(long)((int)((uVar2 & 0xffffffff) * 0x91a2b3c5 >> 0x29) * 900))
  ;
  hash_00 = hash512(time_string,10);
  hex_00 = (char *)calloc(0x82,1);
  _Var1 = bin2hex(hex_00,0x81,hash_00,0x40);
  if (_Var1 == false) {
    error();
  }
  return hex_00;
}