HASH(0x7f5d04fc55f0)