HASH(0x7f5cbc25d7f8)