HASH(0x7fee125f0ef0)