HASH(0x7f5cde55af20)