HASH(0x7f5cf41cb3b0)