HASH(0x7f5cca7f9fe0)