HASH(0x7f5cce53f5f0)