HASH(0x7fee2267e718)