HASH(0x7fedc257e4f8)