HASH(0x7fd673befed0)