HASH(0x7f5ca01efb68)