HASH(0x7fedf665ee38)