HASH(0x7f5cda0c4af0)