HASH(0x7fee1d280c50)