HASH(0x7fedd266bac0)