HASH(0x7f5d050e39f0)