HASH(0x7fedc803d3e0)