HASH(0x7f5d04db97b0)