HASH(0x7f5ce80af6d8)