HASH(0x7fee3051f178)