HASH(0x7f7a8de18d18)