HASH(0x7f5c95fad6c0)