HASH(0x7fee2658de30)