HASH(0x7f5ced56cd68)