HASH(0x7f5c7894b3a8)