0x4befc97b