HASH(0x7f5ccbda1d28)