HASH(0x7f5cfaadcf30)