HASH(0x7fedaeca4358)