void FUN_00401500(void)

{

  DAT_004148e8 = 1;

  return;

}