HASH(0x7f5cdae44d28)