HASH(0x7f5d00dce7c0)