HASH(0x7f5d04ffb7d0)