HASH(0x7f5ce8239af0)