HASH(0x7f5ce0283db8)