HASH(0x7f5d00543e60)