HASH(0x7f5cdd47d0b8)