HASH(0x7f5cf68f4d30)