void FUN_00407908(void)

{
  return;
}