HASH(0x7f5ce27ec5b0)