HASH(0x7f5ce80db8c8)