HASH(0x7f5cce7b3a20)