HASH(0x7fedd401f218)