HASH(0x7f5cdeb3dd48)