HASH(0x7fee1e5fc5d0)