HASH(0x7f5ca17a5c20)