HASH(0x7f3884ad0d28)