HASH(0x7fedd6600940)