HASH(0x7f5cedbf8df8)