HASH(0x7f5cfd1c3ed8)