HASH(0x7f5cb427c3e0)