HASH(0x7f5cece32b68)