HASH(0x7fedc25c24f8)