HASH(0x7f5ca4bf9d28)