HASH(0x7fee1c01b6d0)