HASH(0x7f5cd42ad2e8)