HASH(0x7f1311eb5540)