HASH(0x7fee0c017888)