HASH(0x7fee1e6da458)