HASH(0x7fee2f807d28)