HASH(0x7f5ce9ff43c8)