HASH(0x7f5cf53c38c0)