HASH(0x7fedda64a790)