HASH(0x7f5ce0fbe2d8)