HASH(0x7f5cd0fa70e0)