HASH(0x7f5cf4d65f40)