HASH(0x7f5d045882f0)