HASH(0x7f5ce044f1d0)