HASH(0x7f5cca12c288)