HASH(0x7f5cab16e718)