HASH(0x7d3ea40a5b40)