HASH(0x7fedc25d26e8)