HASH(0x7d3ea40db5a0)