HASH(0x7f5ce057d4d0)