HASH(0x7fee187e01c8)