HASH(0x7f5ce83123f8)