HASH(0x7f5ce405e4d0)