HASH(0x7f5cf60da2f0)