HASH(0x7f5ce87f42c8)