HASH(0x7f5cde3db8b8)