HASH(0x7f5cecde62f0)