HASH(0x7fedfa58ad28)