HASH(0x7f5cecf79ec8)