HASH(0x7f5ca4e07d28)