HASH(0x7f5ccdcb5f20)