HASH(0x7f5c81ef2140)