HASH(0x7fedc401c0a8)