HASH(0x7f5cacf0bc20)