HASH(0x7f5ca17bce00)